HomeFreeBSD

arm64: Create a TLBI invalidate for the kernel

Description

arm64: Create a TLBI invalidate for the kernel

Add pmap_s1_invalidate_all_kernel to remove the need to check for the
kernel_pmap when it's passed in.

While here replace pmap calls to cpu_tlb_flushID with
pmap_s1_invalidate_all_kernel as they are identical.

Reviewed by: kib
Sponsored by: Arm Ltd
Differential Revision: https://reviews.freebsd.org/D52183

(cherry picked from commit 8df4dc90952be7afee36e3cc80c1a76e2c66fbac)

Details

Provenance
andrewAuthored on Sep 4 2025, 5:24 PM
Reviewer
kib
Differential Revision
D52183: arm64: Create a TLBI invalidate for the kernel
Parents
rG5b364c721f8e: arm64: Read the CPU feature tunables once
Branches
Unknown
Tags
Unknown