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.
Description
Description
Details
Details
- Provenance
skra Authored on - Parents
- rS295041: Welcome the RISC-V 64-bit kernel.
- Branches
- Unknown
- Tags