static uint32_t page_directory[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));
static uint32_t page_table_firstmb[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));
static uint32_t page_table_kernel[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));
static uint32_t page_directory[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));
static uint32_t page_table_firstmb[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));
static uint32_t page_table_kernel[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));