smccc
int32_t smccc(uint32_t, register_t, register_t, register_t);
status = smccc(sc->sc_smc_id, 0, 0, 0);