__crc_core_ctl_set_boost = 0xba4235f0;
__crc_core_ctl_notifier_register = 0x68d6b22e;
__crc_core_ctl_notifier_unregister = 0xbfa9e450;