Hi Daniel,
You have 4 registers that contain the Unique Identification (UID):
Unique Identification Register High: SIM_UIDH
Unique Identification Register Mid-High: SIM_UIDMH
Unique Identification Register Mid-Low: SIM_UIDML
Unique Identification Register Low: SIM_UIDL
Here is an example to get it:
printf( "CPU Unique Identifier:\n" );
printf( "0x%08X 0x%08X 0x%08X 0x%08X\n", SIM_UIDH, SIM_UIDMH, SIM_UIDML, SIM_UIDL );