2018-09-11 10:26:39 +02:00
|
|
|
/*
|
2021-05-16 20:51:16 +02:00
|
|
|
* Copyright (C) 2018-2021 Intel Corporation
|
2018-09-11 10:26:39 +02:00
|
|
|
*
|
2018-09-18 09:11:08 +02:00
|
|
|
* SPDX-License-Identifier: MIT
|
2018-09-11 10:26:39 +02:00
|
|
|
*
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
2018-09-20 19:33:21 -07:00
|
|
|
#include <cstdint>
|
|
|
|
|
#include <limits>
|
2018-09-11 10:26:39 +02:00
|
|
|
|
|
|
|
|
namespace PageTableEntry {
|
|
|
|
|
const uint32_t presentBit = 0;
|
|
|
|
|
const uint32_t writableBit = 1;
|
|
|
|
|
const uint32_t userSupervisorBit = 2;
|
2020-06-16 14:18:59 +02:00
|
|
|
const uint32_t localMemoryBit = 11;
|
2018-09-20 19:33:21 -07:00
|
|
|
const uint64_t nonValidBits = std::numeric_limits<uint64_t>::max();
|
2018-09-11 10:26:39 +02:00
|
|
|
} // namespace PageTableEntry
|