| # vmbus |
| vmbus_recv_message(uint32_t type, uint32_t size) "type %d size %d" |
| vmbus_signal_event(void) "" |
| vmbus_channel_notify_guest(uint32_t chan_id) "channel #%d" |
| vmbus_post_msg(uint32_t type, uint32_t size) "type %d size %d" |
| vmbus_msg_cb(int status) "message status %d" |
| vmbus_process_incoming_message(uint32_t message_type) "type %d" |
| vmbus_initiate_contact(uint16_t major, uint16_t minor, uint32_t vcpu, uint64_t monitor_page1, uint64_t monitor_page2, uint64_t interrupt_page) "version %d.%d target vp %d mon pages 0x%"PRIx64",0x%"PRIx64" int page 0x%"PRIx64 |
| vmbus_send_offer(uint32_t chan_id, void *dev) "channel #%d dev %p" |
| vmbus_terminate_offers(void) "" |
| vmbus_gpadl_header(uint32_t gpadl_id, uint16_t num_gfns) "gpadl #%d gfns %d" |
| vmbus_gpadl_body(uint32_t gpadl_id) "gpadl #%d" |
| vmbus_gpadl_created(uint32_t gpadl_id) "gpadl #%d" |
| vmbus_gpadl_teardown(uint32_t gpadl_id) "gpadl #%d" |
| vmbus_gpadl_torndown(uint32_t gpadl_id) "gpadl #%d" |
| vmbus_open_channel(uint32_t chan_id, uint32_t gpadl_id, uint32_t target_vp) "channel #%d gpadl #%d target vp %d" |
| vmbus_channel_open(uint32_t chan_id, uint32_t status) "channel #%d status %d" |
| vmbus_close_channel(uint32_t chan_id) "channel #%d" |
