Searched refs:guest_l3e_t (Results 1 – 3 of 3) sorted by relevance
142 typedef l3_pgentry_t guest_l3e_t; typedef154 static inline gfn_t guest_l3e_get_gfn(guest_l3e_t gl3e) in guest_l3e_get_gfn()165 static inline u32 guest_l3e_get_flags(guest_l3e_t gl3e) in guest_l3e_get_flags()176 static inline u32 guest_l3e_get_pkey(guest_l3e_t gl3e) in guest_l3e_get_pkey()183 static inline guest_l3e_t guest_l3e_from_gfn(gfn_t gfn, u32 flags) in guest_l3e_from_gfn()314 static inline bool guest_l3e_rsvd_bits(const struct vcpu *v, guest_l3e_t l3e) in guest_l3e_rsvd_bits()345 guest_l3e_t l3e; /* Guest's level 3 entry */
92 guest_l3e_t *l3p = NULL; in guest_walk_tables()218 gw->l3e = ((guest_l3e_t *) top_map)[guest_l3_table_offset(va)]; in guest_walk_tables()
202 guest_l3e_t *l3p; in shadow_check_gwalk()758 guest_l3e_t gl3e, in l3e_propagate_from_guest()2173 guest_l3e_t new_gl3e = *(guest_l3e_t *)new_ge; in validate_gl3e()4017 guest_l3e_t *gl3e; in sh_update_cr3()4101 gl3e = ((guest_l3e_t *)map_domain_page(gmfn)) + guest_idx; in sh_update_cr3()4141 guest_l3e_t *gl3e = (guest_l3e_t*)&v->arch.paging.shadow.gl3e; in sh_update_cr3()4574 guest_l3e_t *gl3e = NULL; in sh_pagetable_dying()4597 gl3e = (guest_l3e_t *)(gl3pa + ((unsigned long)gpa & ~PAGE_MASK)); in sh_pagetable_dying()4997 guest_l3e_t *gl3e, *gp; in sh_audit_l3_table()
Completed in 13 milliseconds