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

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