gicv5_intr
error = intr_pic_claim_root(dev, xref, gicv5_intr, sc, INTR_ROOT_IRQ);
int gicv5_intr(void *);