vmci_guest_init    61 drivers/misc/vmw_vmci/vmci_driver.c 		error = vmci_guest_init();
vmci_guest_init    44 drivers/misc/vmw_vmci/vmci_driver.h int vmci_guest_init(void);