40ba4015e3
This moves including of demand_paging.h out of kernel/mm.h, so that users of demand paging APIs must include the header explicitly. Since the main user is kernel itself, we can be more discipline about header inclusion. Signed-off-by: Daniel Leung <daniel.leung@intel.com> |
||
|---|---|---|
| .. | ||
| ia32 | ||
| intel64 | ||
| offsets | ||
| CMakeLists.txt | ||
| Kconfig.ia32 | ||
| Kconfig.intel64 | ||
| cache.c | ||
| common.S | ||
| cpuhalt.c | ||
| cpuid.c | ||
| early_serial.c | ||
| efi.c | ||
| fatal.c | ||
| ia32.cmake | ||
| intel64.cmake | ||
| legacy_bios.c | ||
| memmap.c | ||
| multiboot.c | ||
| pcie.c | ||
| prep_c.c | ||
| reboot_rst_cnt.c | ||
| spec_ctrl.c | ||
| tls.c | ||
| userspace.c | ||
| x86_mmu.c | ||