arch.s390x.mmu.tlb Module Reference

Functions
auto	arch::s390x::mmu::tlb_apply_dgp_scope (zxfoundation::dgp::memory_contract::invalidation_scope scope, u64 asce_val, u64 pte_table_phys, u64 virt_addr) noexcept -> void
	Apply a DGP-selected invalidation scope using typed z/Architecture primitives.
auto	arch::s390x::mmu::tlb_flush_asce (u64 asce_val) noexcept -> void
	IDTE — Invalidate DAT Table Entry (all CPUs, full ASCE flush).
auto	arch::s390x::mmu::tlb_flush_local () noexcept -> void
	PTLB — Purge TLB (local CPU only).
template<dat_level Level> requires (Level != dat_level::page)
auto	arch::s390x::mmu::tlb_flush_typed_asce (typed_asce< Level > asce) noexcept -> void
	Typed IDTE flush — compile-time level safety.
auto	arch::s390x::mmu::tlb_invalidate_pte (u64 pte_table_phys, u64 virt_addr) noexcept -> void
	IPTE — Invalidate Page Table Entry (all CPUs, global broadcast).
auto	arch::s390x::mmu::tlb_invalidate_pte_local (u64 pte_table_phys, u64 virt_addr) noexcept -> void
	IPTE — Invalidate Page Table Entry (local CPU only).

Variables
constexpr u64	arch::s390x::mmu::IDTE_PTOA = 0x0800ULL
	IDTE option: Purge TLB Of Address space.

Files
file	arch/s390x/mmu/tlb.cxxm