Symbol: vmci_dispatch_dgs
drivers/misc/vmw_vmci/vmci_guest.c
490
vmci_dispatch_dgs(dev);
drivers/misc/vmw_vmci/vmci_guest.c
500
vmci_dispatch_dgs(dev);