path: root/include/09.paging/paging3.c

uint32_t page_directory[1024] __attribute__((aligned(4096)));