Searched refs:uwxn (Results 1 – 1 of 1) sorted by relevance
1448 int uwxn = 0; in get_S1prot() local1450 uwxn = regime_sctlr(env, mmu_idx) & SCTLR_UWXN; in get_S1prot()1453 (uwxn && (user_rw & PAGE_WRITE)); in get_S1prot()