smccc_hvc
smccc_hvc(func_id, 0, 0, 0, 0, 0, 0, 0, &res);
void smccc_hvc(uint32_t function_id, uint64_t arg0, uint64_t arg1,
smccc_hvc(__VA_ARGS__); \