Searched refs:gl3e (Results 1 – 3 of 3) sorted by relevance
154 static inline gfn_t guest_l3e_get_gfn(guest_l3e_t gl3e) in guest_l3e_get_gfn() argument155 { return _gfn(l3e_get_paddr(gl3e) >> PAGE_SHIFT); } in guest_l3e_get_gfn()165 static inline u32 guest_l3e_get_flags(guest_l3e_t gl3e) in guest_l3e_get_flags() argument166 { return l3e_get_flags(gl3e); } in guest_l3e_get_flags()176 static inline u32 guest_l3e_get_pkey(guest_l3e_t gl3e) in guest_l3e_get_pkey() argument177 { return l3e_get_pkey(gl3e); } in guest_l3e_get_pkey()
130 l3_pgentry_t gl3e[4] __attribute__((__aligned__(32))); member
181 v->arch.paging.shadow.gl3e in sh_walk_guest_tables()758 guest_l3e_t gl3e, in l3e_propagate_from_guest() argument765 ASSERT(!guest_l3e_rsvd_bits(v, gl3e)); in l3e_propagate_from_guest()4017 guest_l3e_t *gl3e; in sh_update_cr3() local4103 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() local4574 guest_l3e_t *gl3e = NULL; in sh_pagetable_dying() local4997 guest_l3e_t *gl3e, *gp; in sh_audit_l3_table() local5015 gl3e = gp = map_domain_page(gl3mfn); in sh_audit_l3_table()[all …]
Completed in 15 milliseconds