Lines Matching refs:gl3e
181 v->arch.paging.shadow.gl3e in sh_walk_guest_tables()
233 v->arch.paging.shadow.gl3e[guest_l3_table_offset(va)].l3); in shadow_check_gwalk()
758 guest_l3e_t gl3e, in l3e_propagate_from_guest() argument
764 (guest_l3e_get_flags(gl3e) & _PAGE_PRESENT) ) in l3e_propagate_from_guest()
765 ASSERT(!guest_l3e_rsvd_bits(v, gl3e)); in l3e_propagate_from_guest()
767 _sh_propagate(v, gl3e.l3, sl2mfn, sl3e, 3, ft, p2m_ram_rw); in l3e_propagate_from_guest()
4017 guest_l3e_t *gl3e; in sh_update_cr3() local
4101 gl3e = ((guest_l3e_t *)map_domain_page(gmfn)) + guest_idx; in sh_update_cr3()
4103 v->arch.paging.shadow.gl3e[i] = gl3e[i]; in sh_update_cr3()
4104 unmap_domain_page(gl3e); in sh_update_cr3()
4141 guest_l3e_t *gl3e = (guest_l3e_t*)&v->arch.paging.shadow.gl3e; in sh_update_cr3() local
4145 if ( guest_l3e_get_flags(gl3e[i]) & _PAGE_PRESENT ) in sh_update_cr3()
4147 gl2gfn = guest_l3e_get_gfn(gl3e[i]); in sh_update_cr3()
4158 if ( guest_l3e_get_flags(gl3e[i]) & _PAGE_PRESENT ) in sh_update_cr3()
4160 gl2gfn = guest_l3e_get_gfn(gl3e[i]); in sh_update_cr3()
4574 guest_l3e_t *gl3e = NULL; in sh_pagetable_dying() local
4597 gl3e = (guest_l3e_t *)(gl3pa + ((unsigned long)gpa & ~PAGE_MASK)); in sh_pagetable_dying()
4612 gmfn = get_gfn_query_unlocked(d, gfn_x(guest_l3e_get_gfn(gl3e[i])), in sh_pagetable_dying()
4997 guest_l3e_t *gl3e, *gp; in sh_audit_l3_table() local
5015 gl3e = gp = map_domain_page(gl3mfn); in sh_audit_l3_table()
5016 SHADOW_FOREACH_L3E(sl3mfn, sl3e, &gl3e, done, { in sh_audit_l3_table()
5018 s = sh_audit_flags(v, 3, guest_l3e_get_flags(*gl3e), in sh_audit_l3_table()
5024 gfn = guest_l3e_get_gfn(*gl3e); in sh_audit_l3_table()
5031 && (guest_index(gl3e) % 4) == 3) in sh_audit_l3_table()