hyperv_bus
uint32 (*get_version)(hyperv_bus cookie);
status_t (*open_channel)(hyperv_bus cookie, uint32 channel, uint32 gpadl,
status_t (*close_channel)(hyperv_bus cookie, uint32 channel);
status_t (*allocate_gpadl)(hyperv_bus cookie, uint32 channel, uint32 length,
status_t (*free_gpadl)(hyperv_bus cookie, uint32 channel, uint32 gpadl);
status_t (*signal_channel)(hyperv_bus cookie, uint32 channel);
hyperv_bus fVMBusCookie;
vmbus_open_channel(hyperv_bus cookie, uint32 channel, uint32 gpadl, uint32 rxOffset,
vmbus_close_channel(hyperv_bus cookie, uint32 channel)
vmbus_allocate_gpadl(hyperv_bus cookie, uint32 channel, uint32 length, void** _buffer,
vmbus_free_gpadl(hyperv_bus cookie, uint32 channel, uint32 gpadl)
vmbus_signal_channel(hyperv_bus cookie, uint32 channel)
vmbus_get_version(hyperv_bus cookie)