/* Return the second word of the unique device identifier (UID based on 96 bits)  */
uint32_t HAL_GetUIDw1(void)
/* Return the second word of the unique device identifier (UID based on 96 bits)  */
uint32_t HAL_GetUIDw1(void)
{
  return(READ_REG(*((uint32_t *)(UID_BASE + 4U))));
}