Module kernel_map

Constants

KERNEL_ADDRESS_SPACE_START

KERNEL_BASE

The kernel starts at -2GiB. The kernel image is loaded directly at this address, and the following space until the top of memory is managed dynamically and contains the boot info structures, memory map, and kernel heap.

KERNEL_P4_ENTRY

Platforms using Level4 paging schemes define this to set which P4 entry is duplicated across all page tables as the kernel’s entry.

KERNEL_STACKS_BASE

MAX_TASKS

PHYSICAL_MAP_BASE

STACK_SLOT_SIZE

Functions

physical_to_virtual

Access a given physical address through the physical mapping. This cannot be used until the kernel page tables have been switched to.