3757     uint64_t par64;  in do_ats_write()  local
3878         par64 = (1 << 11); /* LPAE bit always set */  in do_ats_write()
3880             par64 |= res.f.phys_addr & ~0xfffULL;  in do_ats_write()
3882                 par64 |= (1 << 9); /* NS */  in do_ats_write()
3884             par64 |= (uint64_t)res.cacheattrs.attrs << 56; /* ATTR */  in do_ats_write()
3885             par64 |= par_el1_shareability(&res) << 7; /* SH */  in do_ats_write()
3889             par64 |= 1; /* F */  in do_ats_write()
3890             par64 |= (fsr & 0x3f) << 1; /* FS */  in do_ats_write()
3892                 par64 |= (1 << 9); /* S */  in do_ats_write()
3895                 par64 |= (1 << 8); /* PTW */  in do_ats_write()
3908                 par64 = (res.f.phys_addr & 0xff000000) | (1 << 1);  in do_ats_write()
3910                 par64 = res.f.phys_addr & 0xfffff000;  in do_ats_write()
3913                 par64 |= (1 << 9); /* NS */  in do_ats_write()
3918             par64 = ((fsr & (1 << 10)) >> 5) | ((fsr & (1 << 12)) >> 6) |  in do_ats_write()
3922     return par64;  in do_ats_write()
3930     uint64_t par64;  in ats_write()  local
3991     par64 = do_ats_write(env, value, access_type, mmu_idx, ss);  in ats_write()
3993     A32_BANKED_CURRENT_REG_SET(env, par, par64);  in ats_write()
4005     uint64_t par64;  in ats1h_write()  local
4008     par64 = do_ats_write(env, value, access_type, ARMMMUIdx_E2,  in ats1h_write()
4011     A32_BANKED_CURRENT_REG_SET(env, par, par64);  in ats1h_write()