Searched refs:mmfn (Results 1 – 5 of 5) sorted by relevance
421 static void hap_destroy_monitor_table(struct vcpu* v, mfn_t mmfn) in hap_destroy_monitor_table() argument426 hap_free(d, mmfn); in hap_destroy_monitor_table()704 mfn_t mmfn = hap_make_monitor_table(v); in hap_update_paging_modes() local705 v->arch.monitor_table = pagetable_from_mfn(mmfn); in hap_update_paging_modes()706 make_cr3(v, mmfn); in hap_update_paging_modes()
99 void (*destroy_monitor_table )(struct vcpu *v, mfn_t mmfn);
274 void sh_destroy_monitor_table(struct vcpu *v, mfn_t mmfn);
2959 mfn_t mmfn = v->arch.paging.mode->shadow.make_monitor_table(v); in sh_update_paging_modes() local2960 v->arch.monitor_table = pagetable_from_mfn(mmfn); in sh_update_paging_modes()2961 make_cr3(v, mmfn); in sh_update_paging_modes()
2008 void sh_destroy_monitor_table(struct vcpu *v, mfn_t mmfn) in sh_destroy_monitor_table() argument2011 ASSERT(mfn_to_page(mmfn)->u.sh.type == SH_type_monitor_table); in sh_destroy_monitor_table()2016 l4_pgentry_t *l4e = map_domain_page(mmfn); in sh_destroy_monitor_table()2047 shadow_free(d, mmfn); in sh_destroy_monitor_table()
Completed in 19 milliseconds