genet_intr
true, genet_intr, sc, device_xname(self));
genet_intr, sc, device_xname(self));
int genet_intr(void *);