path: root/include/09.paging/deo5

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