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