/* Preallocated page tables. */
static uint32_t page_directory[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));
/* Preallocated page tables. */
static uint32_t page_directory[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));