.global kernel_map_page
kernel_map_page = 0xFEF000