Symbol: vmwpvs_read
sys/dev/pci/vmwpvs.c
448
use_msg = (vmwpvs_read(sc, VMWPVS_R_COMMAND_STATUS) != 0xffffffff);
sys/dev/pci/vmwpvs.c
696
status = vmwpvs_read(sc, VMWPVS_R_INTR_STATUS);