Lines Matching refs:shadow_table

1653     *sl4mfn = pagetable_get_mfn(v->arch.shadow_table[0]);  in shadow_get_and_create_l4e()
1769 *sl2mfn = pagetable_get_mfn(v->arch.shadow_table[0]); in shadow_get_and_create_l2e()
2394 if ( pagetable_get_pfn(v->arch.shadow_table[0]) == mfn_x(smfn) in sh_safe_not_to_sync()
2396 || pagetable_get_pfn(v->arch.shadow_table[1]) == mfn_x(smfn) in sh_safe_not_to_sync()
2397 || pagetable_get_pfn(v->arch.shadow_table[2]) == mfn_x(smfn) in sh_safe_not_to_sync()
2398 || pagetable_get_pfn(v->arch.shadow_table[3]) == mfn_x(smfn) in sh_safe_not_to_sync()
3339 mfn_t smfn = pagetable_get_mfn(v->arch.shadow_table[i]); in sh_page_fault()
3788 l4e_from_pfn(pagetable_get_pfn(v->arch.shadow_table[0]), in sh_update_linear_entries()
3796 l4e_from_pfn(pagetable_get_pfn(v->arch.shadow_table[0]), in sh_update_linear_entries()
3920 smfn = pagetable_get_mfn(v->arch.shadow_table[i]); in sh_detach_old_tables()
3923 v->arch.shadow_table[i] = pagetable_null(); in sh_detach_old_tables()
3940 old_entry = v->arch.shadow_table[slot]; in sh_set_toplevel_shadow()
3983 v->arch.shadow_table[slot] = new_entry; in sh_set_toplevel_shadow()
4179 mfn_t smfn = pagetable_get_mfn(v->arch.shadow_table[0]); in sh_update_cr3()
4197 mfn_t smfn = pagetable_get_mfn(v->arch.shadow_table[0]); in sh_update_cr3()
4207 smfn = pagetable_get_mfn(v->arch.shadow_table[i]); in sh_update_cr3()
4237 make_cr3(v, pagetable_get_mfn(v->arch.shadow_table[0])); in sh_update_cr3()
4255 pagetable_get_paddr(v->arch.shadow_table[0]); in sh_update_cr3()
4604 if ( pagetable_is_null(v->arch.shadow_table[i]) ) in sh_pagetable_dying()
4607 smfn = pagetable_get_mfn(v->arch.shadow_table[i]); in sh_pagetable_dying()