e88afd2c37
During boot process, the boot sections need to be pinned in memory to prevent them from being paged out (to avoid pages being paged out and immediately paged in again). Once the boot process is completed (just before calling main()), the boot sections can be unpinned so the memory can be used for demand paging for paging in data pages. Signed-off-by: Daniel Leung <daniel.leung@intel.com> |
||
|---|---|---|
| .. | ||
| gen_offset.h | ||
| kernel_arch_interface.h | ||
| kernel_internal.h | ||
| kernel_offsets.h | ||
| kernel_tls.h | ||
| ksched.h | ||
| kswap.h | ||
| mmu.h | ||
| offsets_short.h | ||