Utilisation de la mémoire

• 0x0000000000000000-0xFFFF800000000000 : user-space
• 0xFFFF800000000000-0xFFFF807FFFF00000 : kernel code
• 0xFFFF807FFFF00000-0xFFFF808000000000 : kernel stack
• 0xFFFF808000000000-0xFFFF808000100000 : ist1
• 0xFFFFFF0000000000-0xFFFFFF0000001000 : vga_buffer
• 0xFFFFFF0000001000-0xFFFFFF4000000000 : special address range
• 0xFFFFFF4000000000-0xFFFFFF8000000000 : kernel heap
• 0xFFFFFF8000000000-0xFFFFFFFFFFFFFFFF : paging structure

Les FFFF au début correspondent à la sign-extension (le user-space a une taille 0x0000800000000000 et non 0xFFFF800000000000)