HV_FUNC_ID
arm_smccc_invoke_hvc(HV_FUNC_ID,
args.a0 = HV_FUNC_ID;
arm_smccc_invoke_hvc(HV_FUNC_ID, in_val, in_paddr, out_paddr, &res);