linux/drivers/misc/vmw_vmci
..
vmci_context.c
vmci_context.h