enum | {
V2_utcb_addr = 0xbff00000,
Kip_auto_map = 0xbfff2000,
User_max = 0xc0000000,
Vmem_start = User_max,
Tcbs = 0xc0000000,
Tcbs_end = 0xe0000000,
Slabs_start = 0xe0000000,
Slabs_end = 0xea000000,
Space_index = 0xea000000,
Chief_index = 0xea400000,
Kip_index = 0xea800000,
Service_page = 0xeac00000,
Local_apic_page = Service_page + 0x0000,
Jdb_adapter_page = Service_page + 0x1000,
Tbuf_status_page = Service_page + 0x2000,
Smas_trampoline = Service_page + 0x3000,
Jdb_bench_page = Service_page + 0x4000,
Utcb_ptr_page = Service_page + 0xfd000,
Idt = Service_page + 0xfe000,
Syscalls = Service_page + 0xff000,
Tbuf_buffer_area = Service_page + 0x200000,
Ldt_addr = 0xeb000000,
Ldt_size = 0xeb400000,
Smas_version = 0xec000000,
Smas_area = 0xec400000,
Smas_io_bmap_bak = 0xec800000,
Smas_io_cnt_bak = 0xec880000,
Jdb_debug_start = 0xecc00000,
Jdb_debug_end = 0xee000000,
Ipc_window0 = 0xee000000,
Ipc_window1 = 0xee800000,
Kstatic = 0xef800000,
Io_bitmap = 0xefc00000,
Io_counter = 0xefc80000,
Vmem_end = 0xf0000000,
Kernel_image = Vmem_end,
Boot_state_start = Kernel_image,
Boot_state_end = Kernel_image + 0x400000,
Smas_start = 0xf0400000,
Smas_end = 0xfc400000,
Physmem = 0xfc400000
} |