xc_highpri
static inline uint64_t xc_highpri(xcfunc_t, void *, void *, struct cpu_info *,
return xc_highpri(func, arg1, arg2, NULL, ipl);
return xc_highpri(func, arg1, arg2, ci, ipl);