pub const KERNEL_P4_ENTRY: usize = 0;
Platforms using Level4 paging schemes define this to set which P4 entry is duplicated across all page tables as the kernel’s entry.
Level4