pub fn kernel_text_end() -> usize