Searched refs:vtcr_el2 (Results 1 – 6 of 6) sorted by relevance
302 write_sysreg(arch->vtcr, vtcr_el2); in __load_stage2()
116 msr vtcr_el2, x1
992 return env->cp15.vtcr_el2; in regime_tcr()1004 v |= env->cp15.vtcr_el2 & VTCR_SHARED_FIELD_MASK; in regime_tcr()
199 s2walk_secure = !(env->cp15.vtcr_el2 & VTCR_NSW); in ptw_idx_for_stage_2()3409 || !(env->cp15.vtcr_el2 & (VTCR_NSA | VTCR_NSW))); in get_phys_addr_twostage()
315 uint64_t vtcr_el2; /* Virtualization Translation Control. */ member
6423 .fieldoffset = offsetoflow32(CPUARMState, cp15.vtcr_el2) },6429 .fieldoffset = offsetof(CPUARMState, cp15.vtcr_el2) },