HomeFreeBSD

Use kernel_pmap directly instead of pmap_kernel(). The kernel_pmap is

Description

Use kernel_pmap directly instead of pmap_kernel(). The kernel_pmap is
already used for ARM_ARCH >= 6 and so even for ARM_ARCH < 6 on some
common places.

Details

Provenance
skraAuthored on
Parents
rS295041: Welcome the RISC-V 64-bit kernel.
Branches
Unknown
Tags
Unknown