Tested by inspecting the kernel page tables for a couple of virtual addresses reported by `vm.pmap.kernel_maps`:
```
root@bpif3:~ # sysctl vm.pmap.kernel_maps
vm.pmap.kernel_maps:
Kernel map:
0xffffffc000000000-0xffffffc001000000 rwxs- PMA 0 8 0
0xffffffc001000000-0xffffffc00101b000 rw-s- PMA 0 0 27
[[snip]]
root@bpif3:~ # sysctl debug.kdb.enter=1
[[snip]]
db> show pte 0xffffffc000000000
VA 0xffffffc000000000 l1e@0xffffffd168436800 0x000000001d921401 l2e@0xffffffd076485000 0x000000001d5800cf
db> show pte 0xffffffc001000000
VA 0xffffffc001000000 l1e@0xffffffd168436800 0x000000001d921401 l2e@0xffffffd076485040 0x000000001d922c01 l3e@0xffffffd07648b000 0x000000001d9800c7
db> show pte 0xffffffc001001000
VA 0xffffffc001001000 l1e@0xffffffd168436800 0x000000001d921401 l2e@0xffffffd076485040 0x000000001d922c01 l3e@0xffffffd07648b008 0x000000001d9804c7
```