Searched refs:xc_monitor_guest_request (Results 1 – 2 of 2) sorted by relevance
149 int xc_monitor_guest_request(xc_interface *xch, uint32_t domain_id, bool enable, in xc_monitor_guest_request() function
2058 int xc_monitor_guest_request(xc_interface *xch, uint32_t domain_id,
Completed in 7 milliseconds