1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #pragma once
8 
9 
10 #include <config.h>
11 #include <object/structures.h>
12 #include <arch/types.h>
13 #include <model/statedata.h>
14 
15 extern pde_t ia32KSGlobalPD[BIT(PD_INDEX_BITS)];
16 extern pte_t ia32KSGlobalPT[BIT(PT_INDEX_BITS)];
17 
18 #ifdef CONFIG_KERNEL_LOG_BUFFER
19 extern pte_t ia32KSGlobalLogPT[BIT(PT_INDEX_BITS)];
20 #endif /* CONFIG_KERNEL_LOG_BUFFER */
21 
22 NODE_STATE_BEGIN(modeNodeState)
23 /* Current active page directory. This is really just a shadow of CR3 */
24 NODE_STATE_DECLARE(paddr_t, ia32KSCurrentPD);
25 NODE_STATE_END(modeNodeState);
26 
27