Searched defs:share_xen_page_with_privileged_guests (Results 1 – 2 of 2) sorted by relevance
1217 void share_xen_page_with_privileged_guests( in share_xen_page_with_privileged_guests() function
487 void share_xen_page_with_privileged_guests( in share_xen_page_with_privileged_guests() function
Completed in 12 milliseconds