Symbol: SMC_INT_REQ