Constant KERNEL_L4_INDEX

const KERNEL_L4_INDEX: usize = 0x1FF;