Symbol: vmwpvs_msg_task
sys/dev/pci/vmwpvs.c
373
void vmwpvs_msg_task(void *);
sys/dev/pci/vmwpvs.c
416
task_set(&sc->sc_msg_task, vmwpvs_msg_task, sc);