arch/x86_64/include/arch/boot/pointers.hpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#ifndef TEACHOS_ARCH_X86_64_BOOT_POINTERS_HPP
#define TEACHOS_ARCH_X86_64_BOOT_POINTERS_HPP

#include "arch/memory/paging/page_table.hpp"

#include <cstddef>

namespace teachos::arch::boot
{
  extern "C" size_t const multiboot_information_pointer;
  extern "C" memory::paging::page_table * page_map_level_4;
  extern "C" memory::paging::page_table * page_map_level_3;
  extern "C" memory::paging::page_table * page_map_level_2;
}  // namespace teachos::arch::boot

#endif