xive_dispatch
static void xive_dispatch(device_t, struct trapframe *);
DEVMETHOD(pic_dispatch, xive_dispatch),