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