Symbol: VMWPVS_R_INTR_STATUS
sys/dev/pci/vmwpvs.c
696
status = vmwpvs_read(sc, VMWPVS_R_INTR_STATUS);
sys/dev/pci/vmwpvs.c
700
vmwpvs_write(sc, VMWPVS_R_INTR_STATUS, status);