IRQSTATUSBITS
device_printf(dev, "IRQSTATUS: 0x%b\n", reg, IRQSTATUSBITS);
device_printf(dev, "IRQENABLE: 0x%b\n", reg, IRQSTATUSBITS);