2018-09-11 16:26:39 +08:00
|
|
|
/*
|
2018-09-18 15:11:08 +08:00
|
|
|
* Copyright (C) 2017-2018 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 {
|
|
|
|
const uint32_t presentBit = 0;
|
|
|
|
const uint32_t writableBit = 1;
|
|
|
|
const uint32_t userSupervisorBit = 2;
|
2018-09-21 10:33:21 +08:00
|
|
|
const uint64_t nonValidBits = std::numeric_limits<uint64_t>::max();
|
2018-09-11 16:26:39 +08:00
|
|
|
} // namespace PageTableEntry
|