Searched refs:monitor_page1 (Results 1 – 3 of 3) sorted by relevance
91 uint64_t monitor_page1; member
8 vmbus_initiate_contact(uint16_t major, uint16_t minor, uint32_t vcpu, uint64_t monitor_page1, uint6…
1660 msg->target_vcpu, msg->monitor_page1, in handle_initiate_contact()