2018-09-11 16:26:39 +08:00
|
|
|
/*
|
2022-08-26 20:39:52 +08:00
|
|
|
* Copyright (C) 2018-2022 Intel Corporation
|
2018-09-11 16:26:39 +08:00
|
|
|
*
|
2018-09-18 15:11:08 +08:00
|
|
|
* SPDX-License-Identifier: MIT
|
2018-09-11 16:26:39 +08:00
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2018-09-21 10:33:21 +08:00
|
|
|
#include <cstdint>
|
|
|
|
#include <limits>
|
2018-09-11 16:26:39 +08:00
|
|
|
|
|
|
|
namespace PageTableEntry {
|
2022-12-08 22:23:49 +08:00
|
|
|
inline constexpr uint32_t presentBit = 0;
|
|
|
|
inline constexpr uint32_t writableBit = 1;
|
|
|
|
inline constexpr uint32_t userSupervisorBit = 2;
|
|
|
|
inline constexpr uint32_t localMemoryBit = 11;
|
|
|
|
inline constexpr uint64_t nonValidBits = std::numeric_limits<uint64_t>::max();
|
2018-09-11 16:26:39 +08:00
|
|
|
} // namespace PageTableEntry
|