Searched refs:l4e_get_page (Results 1 – 3 of 3) sorted by relevance
61 l3_page = l4e_get_page(*l4); in machine_kexec_add_page()
1338 return put_pt_page(l4e_get_page(l4e), mfn_to_page(l4mfn), flags); in put_page_from_l4e()1823 if ( current->arch.old_guest_table == l4e_get_page(l4e) ) in promote_l4_table()
95 #define l4e_get_page(x) mfn_to_page(l4e_get_mfn(x)) macro
Completed in 688 milliseconds