Unique device ID register (96 bits), Где находится в стандартной библиотеке? Опции

[Porty]

Добрый день.
У СТМ32 есть такая хорошая штука как уникальный идентификатор.
Unique device ID register (96 bits)
Но почему то в стандартной библиотеке на си от стм я её не нашел.
Как по имени так и по адресу 0x1FFFF7E8

Подскажите пожалуйста, где он располагается именно в этой библиотеке если конечно есть и описан прямо или косвенно?

[Porty]

Затем что просто интересно, вдруг чего ещё полезного там есть и код должен быть однообразным. А не тут так там сяк.
И ещё, чтоб не было магических чисел
http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%...82%D0%B5%D1%80)

И читаемость была кода высокая. Для многих кто разрабатывает проги размером менее 1-10тыщь строк что так то не принципиально.

[scifi]

Затем что просто интересно, вдруг чего ещё полезного там есть и код должен быть однообразным. А не тут так там сяк.
И ещё, чтоб не было магических чисел
...
И читаемость была кода высокая. Для многих кто разрабатывает проги размером менее 1-10тыщь строк что так то не принципиально.

Гы... Забавные проблемы появляются, как только начинаешь использовать эту библиотеку :-)
Число перестаёт быть магическим, если рядом написан комментарий. Или если оно вынесено в макрос.
Читаемость кода нормальная, не стоит заморачиваться.
Ну а ценность однообразия кода не следует преувеличивать. Если Вы из-за этого однообразия впадёте в ступор при выборе способа доступа к Device ID, то оно никому не нужно, так как мешает. Проще нужно к этому относиться.