1143     uint32_t pxn = 0;  in get_phys_addr_v6()  local
1207         pxn = desc & 1;  in get_phys_addr_v6()
1211             pxn = (desc >> 2) & 1;  in get_phys_addr_v6()
1246         if (pxn && !regime_is_user(env, mmu_idx)) {  in get_phys_addr_v6()
1367                       int ap, int xn, int pxn,  in get_S1prot()  argument
1449             xn = pxn || (user_rw & PAGE_WRITE);  in get_S1prot()
1462                 xn = xn || !(prot_rw & PAGE_READ) || pxn ||  in get_S1prot()
1710     int ap, xn, pxn;  in get_phys_addr_lpae()  local
2096         pxn = extract64(attrs, 53, 1);  in get_phys_addr_lpae()
2109             pxn = xn;  in get_phys_addr_lpae()
2117         result->f.prot = get_S1prot(env, mmu_idx, aarch64, ap, xn, pxn,  in get_phys_addr_lpae()
2740         bool pxn = false;  in pmsav8_mpu_lookup()  local
2743             pxn = extract32(matched_rlar, 4, 1);  in pmsav8_mpu_lookup()
2770                 pxn = 0x1;  in pmsav8_mpu_lookup()
2778         if (result->f.prot && !xn && !(pxn && !is_user)) {  in pmsav8_mpu_lookup()