hyperv_device
uint32 (*get_bus_version)(hyperv_device cookie);
status_t (*get_reference_counter)(hyperv_device cookie, uint64* _count);
status_t (*open)(hyperv_device cookie, uint32 txLength, uint32 rxLength,
void (*close)(hyperv_device cookie);
status_t (*read_packet)(hyperv_device cookie, void* buffer, uint32* bufferLength,
status_t (*write_packet)(hyperv_device cookie, uint16 type, const void* buffer,
status_t (*write_gpa_packet)(hyperv_device cookie, uint32 rangeCount,
status_t (*allocate_gpadl)(hyperv_device cookie, uint32 length, void** _buffer,
status_t (*free_gpadl)(hyperv_device cookie, uint32 gpadl);
vmbus_device_write_gpa_packet(hyperv_device cookie, uint32 rangeCount,
vmbus_device_allocate_gpadl(hyperv_device cookie, uint32 length, void** _buffer, uint32* _gpadl)
vmbus_device_free_gpadl(hyperv_device cookie, uint32 gpadl)
vmbus_device_get_bus_version(hyperv_device cookie)
vmbus_device_get_reference_counter(hyperv_device cookie, uint64* _count)
vmbus_device_open(hyperv_device cookie, uint32 txLength, uint32 rxLength,
vmbus_device_close(hyperv_device cookie)
vmbus_device_read_packet(hyperv_device cookie, void* buffer, uint32* bufferLength,
vmbus_device_write_packet(hyperv_device cookie, uint16 type, const void* buffer, uint32 length,
hyperv_device fHyperVCookie;
hyperv_device fHyperVCookie;
hyperv_device hyperv_cookie;
hyperv_device hyperv_cookie)
hyperv_device hyperv_cookie);
hyperv_device fHyperVCookie;