guest_handle      375 drivers/visorbus/controlvmchannel.h 			u64 guest_handle;
guest_handle      615 drivers/visorbus/visorchipset.c 					       cmd->configure_bus.guest_handle);