vmci_guest.c revision 0e7894dc
1