H A D | helper.c | 593 uint64_t pageaddr = value & ~MAKE_64BIT_MASK(0, 12); in tlbimva_hyp_write() local 595 tlb_flush_page_by_mmuidx(cs, pageaddr, ARMMMUIdxBit_E2); in tlbimva_hyp_write() 602 uint64_t pageaddr = value & ~MAKE_64BIT_MASK(0, 12); in tlbimva_hyp_is_write() local 604 tlb_flush_page_by_mmuidx_all_cpus_synced(cs, pageaddr, in tlbimva_hyp_is_write() 612 uint64_t pageaddr = (value & MAKE_64BIT_MASK(0, 28)) << 12; in tlbiipas2_hyp_write() local 614 tlb_flush_page_by_mmuidx(cs, pageaddr, ARMMMUIdxBit_Stage2); in tlbiipas2_hyp_write() 621 uint64_t pageaddr = (value & MAKE_64BIT_MASK(0, 28)) << 12; in tlbiipas2is_hyp_write() local 623 tlb_flush_page_by_mmuidx_all_cpus_synced(cs, pageaddr, ARMMMUIdxBit_Stage2); in tlbiipas2is_hyp_write() 5244 uint64_t pageaddr = sextract64(value << 12, 0, 56); in tlbi_aa64_get_range() 5245 int bits = vae2_tlbbits(env, pageaddr); in tlbi_aa64_get_range() 5086 uint64_t pageaddr = sextract64(value << 12, 0, 56); tlbi_aa64_vae2_write() local 5102 uint64_t pageaddr = sextract64(value << 12, 0, 56); tlbi_aa64_vae3_write() local 5112 uint64_t pageaddr = sextract64(value << 12, 0, 56); tlbi_aa64_vae1is_write() local 5129 uint64_t pageaddr = sextract64(value << 12, 0, 56); tlbi_aa64_vae1_write() local 5144 uint64_t pageaddr = sextract64(value << 12, 0, 56); tlbi_aa64_vae2is_write() local 5154 uint64_t pageaddr = sextract64(value << 12, 0, 56); tlbi_aa64_vae3is_write() local 5179 uint64_t pageaddr = sextract64(value << 12, 0, 56); tlbi_aa64_ipas2e1_write() local 5193 uint64_t pageaddr = sextract64(value << 12, 0, 56); tlbi_aa64_ipas2e1is_write() local [all...] |