Searched refs:monitor_page2 (Results 1 – 3 of 3) sorted by relevance
92 uint64_t monitor_page2; member
8 …ajor, uint16_t minor, uint32_t vcpu, uint64_t monitor_page1, uint64_t monitor_page2, uint64_t inte…
1662 msg->monitor_page2, msg->interrupt_page); in handle_initiate_contact()