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> |
||
|---|---|---|
| .. | ||
| core | ||
| include | ||
| zefi | ||
| CMakeLists.txt | ||
| gen_gdt.py | ||
| gen_idt.py | ||
| gen_mmu.py | ||
| ia32.cmake | ||
| intel64.cmake | ||
| Kconfig | ||
| timing.c | ||