__crc_soc_device_register = 0x87205e6a;
__crc_soc_device_unregister = 0x19c20269;
__crc_soc_device_match = 0x87f305d1;