hvc_call
sc->sc_callfn = hvc_call;
extern register_t hvc_call(register_t, register_t, register_t, register_t);