Searched refs:cr3_mfn (Results 1 – 1 of 1) sorted by relevance
524 mfn_t cr3_mfn; in update_cr3() local533 cr3_mfn = pagetable_get_mfn(v->arch.guest_table_user); in update_cr3()535 cr3_mfn = pagetable_get_mfn(v->arch.guest_table); in update_cr3()537 make_cr3(v, cr3_mfn); in update_cr3()
Completed in 11 milliseconds