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