Constant NUM_USER_L4_INDEXES

Source
const NUM_USER_L4_INDEXES: usize = KERNEL_L4_INDEX; // 511usize