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