gtmr_intr
ih = intr_establish_xname(irq, ipl, type | IST_MPSAFE, gtmr_intr, NULL, device_xname(self));
IST_LEVEL | IST_MPSAFE, gtmr_intr, NULL);
int gtmr_intr(void *);
FDT_INTR_MPSAFE, gtmr_intr, NULL, device_xname(self));