xref: /linux-6.15/arch/arm64/kernel/pi/map_kernel.c (revision 680caca6)