Symbol: vmci_free_dg_buffers
drivers/misc/vmw_vmci/vmci_guest.c
895
vmci_free_dg_buffers(vmci_dev);
drivers/misc/vmw_vmci/vmci_guest.c
954
vmci_free_dg_buffers(vmci_dev);