2021-11-10 11:37:17 -05:00
|
|
|
#include "common/multi_level_page_table.inc"
|
|
|
|
|
|
|
|
namespace Common {
|
2022-04-13 15:02:55 -04:00
|
|
|
template class Common::MultiLevelPageTable<u64>;
|
2021-11-11 15:24:40 -05:00
|
|
|
template class Common::MultiLevelPageTable<u32>;
|
2021-11-10 11:37:17 -05:00
|
|
|
} // namespace Common
|