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