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

[Porty]

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

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

[AHTOXA]

А зачем там библиотека? Просто читаете нужные адреса:

Код

  Serial0 = *(vu32*)(0x1FFFF7E8);
  Serial1 = *(vu32*)(0x1FFFF7EC);
  Serial2 = *(vu32*)(0x1FFFF7F0);