Lines Matching refs:walk
85 uint32_t walk, mfn_t top_mfn, void *top_map) in guest_walk_tables() argument
111 walk &= (PFEC_implicit | PFEC_insn_fetch | PFEC_user_mode | PFEC_write_access); in guest_walk_tables()
114 ASSERT(!(walk & PFEC_implicit) || in guest_walk_tables()
115 !(walk & (PFEC_insn_fetch | PFEC_user_mode))); in guest_walk_tables()
120 gw->pfec = walk & (PFEC_user_mode | PFEC_write_access); in guest_walk_tables()
128 gw->pfec |= (walk & PFEC_insn_fetch); in guest_walk_tables()
380 if ( (ar & _PAGE_USER) && !(walk & PFEC_insn_fetch) && in guest_walk_tables()
387 ((walk & PFEC_write_access) && read_pkru_wd(pkru, pkey) && in guest_walk_tables()
388 ((walk & PFEC_user_mode) || guest_wp_enabled(v))) ) in guest_walk_tables()
396 if ( (walk & PFEC_insn_fetch) && (ar & _PAGE_NX_BIT) ) in guest_walk_tables()
400 if ( walk & PFEC_user_mode ) /* Requested a user acess. */ in guest_walk_tables()
406 if ( (walk & PFEC_write_access) && !(ar & _PAGE_RW) ) in guest_walk_tables()
414 if ( (walk & PFEC_insn_fetch) && guest_smep_enabled(v) ) in guest_walk_tables()
418 if ( !(walk & PFEC_insn_fetch) && guest_smap_enabled(v) && in guest_walk_tables()
419 ((walk & PFEC_implicit) || in guest_walk_tables()
425 if ( (walk & PFEC_write_access) && !(ar & _PAGE_RW) && in guest_walk_tables()
447 (walk & PFEC_write_access)) ) in guest_walk_tables()
452 (walk & PFEC_write_access) && leaf_level == 2) ) in guest_walk_tables()
458 (walk & PFEC_write_access) && leaf_level == 3) ) in guest_walk_tables()