Symbol: PMP_STATE_CONFIG