/* Returns first word of the unique device identifier (UID based on 96 bits)  */
uint32_t HAL_GetUIDw0(void)
/* Returns first word of the unique device identifier (UID based on 96 bits)  */
uint32_t HAL_GetUIDw0(void)
{
  return (READ_REG(*((uint32_t *)UID_BASE)));
}