smccc_hvc
smccc_hvc(func_id, 0, 0, 0, 0, 0, 0, 0, &res);
void smccc_hvc(u32 function_id, u64 arg0, u64 arg1,
smccc_hvc(__VA_ARGS__); \