cbe_xcall
cbe_xcall(void *arg, cpu_t *dest, cyc_func_t func, void *farg)
cbe_xcall(cyb_arg_t arg, cpu_t *dest, cyc_func_t func, void *farg)
