intr_mask         511 dev/pci/sv.c       int  intr_mask = 0;
intr_mask         541 dev/pci/sv.c   	intr_mask = 1;
intr_mask         569 dev/pci/sv.c   	intr_mask = 1;
intr_mask         573 dev/pci/sv.c       if (intr_mask) {