Symbol: sdei_smccc_hvc