Symbol: VMWPVS_R_INTR_MASK
sys/dev/pci/vmwpvs.c
436
vmwpvs_write(sc, VMWPVS_R_INTR_MASK, 0);
sys/dev/pci/vmwpvs.c
552
vmwpvs_write(sc, VMWPVS_R_INTR_MASK, intmask);