diff options
Diffstat (limited to 'executor/kvm.h')
| -rw-r--r-- | executor/kvm.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/executor/kvm.h b/executor/kvm.h index a390becbb..ab5178792 100644 --- a/executor/kvm.h +++ b/executor/kvm.h @@ -45,8 +45,6 @@ #define X86_SYZOS_ADDR_PML4 0x2000 // PDP for GPAs 0x0 - 0x7fffffffff. #define X86_SYZOS_ADDR_PDP 0x3000 -// Pool of 32 pages for dynamic PT/PD allocations. -#define X86_SYZOS_ADDR_PT_POOL 0x5000 #define X86_SYZOS_ADDR_VAR_IDT 0x25000 #define X86_SYZOS_ADDR_VAR_TSS 0x26000 @@ -76,6 +74,11 @@ // Base offset for the area containing the 4 L2 VM slots. #define X86_SYZOS_L1_VCPU_OFFSET_L2_VMS_AREA 0x1000 +// Separated Page Table Pool in high memory. +// Located above L2 VCPU regions. +#define X86_SYZOS_ADDR_PT_POOL 0x180000 +#define X86_SYZOS_PT_POOL_SIZE 64 + // Layout of a single L2 VM's data block. // Size of the memory block for a single L2 VM. |