Symbol: CPU_STATE_CONFIGURED