Re: [Minios-devel] [UNIKRAFT PATCH 1/3] plat/kvm: Replace numerical flags with defines in pagetable.S

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Reviewed-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>

On 30.05.19 22:52, Florian Schmidt wrote:
> Signed-off-by: Florian Schmidt <florian.schmidt@xxxxxxxxx>
> ---
>   plat/kvm/x86/pagetable.S | 1031 +++++++++++++++++++-------------------
>   1 file changed, 517 insertions(+), 514 deletions(-)
>
> diff --git a/plat/kvm/x86/pagetable.S b/plat/kvm/x86/pagetable.S
> index c8e0f42d..f7fd822e 100644
> --- a/plat/kvm/x86/pagetable.S
> +++ b/plat/kvm/x86/pagetable.S
> @@ -31,527 +31,530 @@
>    * bigger than that, feel free to fix.
>    */
>   
> +#define PAGETABLE_RW         0x3
> +#define PAGETABLE_LARGEPAGE  0x80
> +
>   .align 0x1000
>   cpu_pd:
> -       .quad 0x0000000000000000 + 0x3 + 0x80
> -       .quad 0x0000000000200000 + 0x3 + 0x80
> -       .quad 0x0000000000400000 + 0x3 + 0x80
> -       .quad 0x0000000000600000 + 0x3 + 0x80
> -       .quad 0x0000000000800000 + 0x3 + 0x80
> -       .quad 0x0000000000a00000 + 0x3 + 0x80
> -       .quad 0x0000000000c00000 + 0x3 + 0x80
> -       .quad 0x0000000000e00000 + 0x3 + 0x80
> -       .quad 0x0000000001000000 + 0x3 + 0x80
> -       .quad 0x0000000001200000 + 0x3 + 0x80
> -       .quad 0x0000000001400000 + 0x3 + 0x80
> -       .quad 0x0000000001600000 + 0x3 + 0x80
> -       .quad 0x0000000001800000 + 0x3 + 0x80
> -       .quad 0x0000000001a00000 + 0x3 + 0x80
> -       .quad 0x0000000001c00000 + 0x3 + 0x80
> -       .quad 0x0000000001e00000 + 0x3 + 0x80
> -       .quad 0x0000000002000000 + 0x3 + 0x80
> -       .quad 0x0000000002200000 + 0x3 + 0x80
> -       .quad 0x0000000002400000 + 0x3 + 0x80
> -       .quad 0x0000000002600000 + 0x3 + 0x80
> -       .quad 0x0000000002800000 + 0x3 + 0x80
> -       .quad 0x0000000002a00000 + 0x3 + 0x80
> -       .quad 0x0000000002c00000 + 0x3 + 0x80
> -       .quad 0x0000000002e00000 + 0x3 + 0x80
> -       .quad 0x0000000003000000 + 0x3 + 0x80
> -       .quad 0x0000000003200000 + 0x3 + 0x80
> -       .quad 0x0000000003400000 + 0x3 + 0x80
> -       .quad 0x0000000003600000 + 0x3 + 0x80
> -       .quad 0x0000000003800000 + 0x3 + 0x80
> -       .quad 0x0000000003a00000 + 0x3 + 0x80
> -       .quad 0x0000000003c00000 + 0x3 + 0x80
> -       .quad 0x0000000003e00000 + 0x3 + 0x80
> -       .quad 0x0000000004000000 + 0x3 + 0x80
> -       .quad 0x0000000004200000 + 0x3 + 0x80
> -       .quad 0x0000000004400000 + 0x3 + 0x80
> -       .quad 0x0000000004600000 + 0x3 + 0x80
> -       .quad 0x0000000004800000 + 0x3 + 0x80
> -       .quad 0x0000000004a00000 + 0x3 + 0x80
> -       .quad 0x0000000004c00000 + 0x3 + 0x80
> -       .quad 0x0000000004e00000 + 0x3 + 0x80
> -       .quad 0x0000000005000000 + 0x3 + 0x80
> -       .quad 0x0000000005200000 + 0x3 + 0x80
> -       .quad 0x0000000005400000 + 0x3 + 0x80
> -       .quad 0x0000000005600000 + 0x3 + 0x80
> -       .quad 0x0000000005800000 + 0x3 + 0x80
> -       .quad 0x0000000005a00000 + 0x3 + 0x80
> -       .quad 0x0000000005c00000 + 0x3 + 0x80
> -       .quad 0x0000000005e00000 + 0x3 + 0x80
> -       .quad 0x0000000006000000 + 0x3 + 0x80
> -       .quad 0x0000000006200000 + 0x3 + 0x80
> -       .quad 0x0000000006400000 + 0x3 + 0x80
> -       .quad 0x0000000006600000 + 0x3 + 0x80
> -       .quad 0x0000000006800000 + 0x3 + 0x80
> -       .quad 0x0000000006a00000 + 0x3 + 0x80
> -       .quad 0x0000000006c00000 + 0x3 + 0x80
> -       .quad 0x0000000006e00000 + 0x3 + 0x80
> -       .quad 0x0000000007000000 + 0x3 + 0x80
> -       .quad 0x0000000007200000 + 0x3 + 0x80
> -       .quad 0x0000000007400000 + 0x3 + 0x80
> -       .quad 0x0000000007600000 + 0x3 + 0x80
> -       .quad 0x0000000007800000 + 0x3 + 0x80
> -       .quad 0x0000000007a00000 + 0x3 + 0x80
> -       .quad 0x0000000007c00000 + 0x3 + 0x80
> -       .quad 0x0000000007e00000 + 0x3 + 0x80
> -       .quad 0x0000000008000000 + 0x3 + 0x80
> -       .quad 0x0000000008200000 + 0x3 + 0x80
> -       .quad 0x0000000008400000 + 0x3 + 0x80
> -       .quad 0x0000000008600000 + 0x3 + 0x80
> -       .quad 0x0000000008800000 + 0x3 + 0x80
> -       .quad 0x0000000008a00000 + 0x3 + 0x80
> -       .quad 0x0000000008c00000 + 0x3 + 0x80
> -       .quad 0x0000000008e00000 + 0x3 + 0x80
> -       .quad 0x0000000009000000 + 0x3 + 0x80
> -       .quad 0x0000000009200000 + 0x3 + 0x80
> -       .quad 0x0000000009400000 + 0x3 + 0x80
> -       .quad 0x0000000009600000 + 0x3 + 0x80
> -       .quad 0x0000000009800000 + 0x3 + 0x80
> -       .quad 0x0000000009a00000 + 0x3 + 0x80
> -       .quad 0x0000000009c00000 + 0x3 + 0x80
> -       .quad 0x0000000009e00000 + 0x3 + 0x80
> -       .quad 0x000000000a000000 + 0x3 + 0x80
> -       .quad 0x000000000a200000 + 0x3 + 0x80
> -       .quad 0x000000000a400000 + 0x3 + 0x80
> -       .quad 0x000000000a600000 + 0x3 + 0x80
> -       .quad 0x000000000a800000 + 0x3 + 0x80
> -       .quad 0x000000000aa00000 + 0x3 + 0x80
> -       .quad 0x000000000ac00000 + 0x3 + 0x80
> -       .quad 0x000000000ae00000 + 0x3 + 0x80
> -       .quad 0x000000000b000000 + 0x3 + 0x80
> -       .quad 0x000000000b200000 + 0x3 + 0x80
> -       .quad 0x000000000b400000 + 0x3 + 0x80
> -       .quad 0x000000000b600000 + 0x3 + 0x80
> -       .quad 0x000000000b800000 + 0x3 + 0x80
> -       .quad 0x000000000ba00000 + 0x3 + 0x80
> -       .quad 0x000000000bc00000 + 0x3 + 0x80
> -       .quad 0x000000000be00000 + 0x3 + 0x80
> -       .quad 0x000000000c000000 + 0x3 + 0x80
> -       .quad 0x000000000c200000 + 0x3 + 0x80
> -       .quad 0x000000000c400000 + 0x3 + 0x80
> -       .quad 0x000000000c600000 + 0x3 + 0x80
> -       .quad 0x000000000c800000 + 0x3 + 0x80
> -       .quad 0x000000000ca00000 + 0x3 + 0x80
> -       .quad 0x000000000cc00000 + 0x3 + 0x80
> -       .quad 0x000000000ce00000 + 0x3 + 0x80
> -       .quad 0x000000000d000000 + 0x3 + 0x80
> -       .quad 0x000000000d200000 + 0x3 + 0x80
> -       .quad 0x000000000d400000 + 0x3 + 0x80
> -       .quad 0x000000000d600000 + 0x3 + 0x80
> -       .quad 0x000000000d800000 + 0x3 + 0x80
> -       .quad 0x000000000da00000 + 0x3 + 0x80
> -       .quad 0x000000000dc00000 + 0x3 + 0x80
> -       .quad 0x000000000de00000 + 0x3 + 0x80
> -       .quad 0x000000000e000000 + 0x3 + 0x80
> -       .quad 0x000000000e200000 + 0x3 + 0x80
> -       .quad 0x000000000e400000 + 0x3 + 0x80
> -       .quad 0x000000000e600000 + 0x3 + 0x80
> -       .quad 0x000000000e800000 + 0x3 + 0x80
> -       .quad 0x000000000ea00000 + 0x3 + 0x80
> -       .quad 0x000000000ec00000 + 0x3 + 0x80
> -       .quad 0x000000000ee00000 + 0x3 + 0x80
> -       .quad 0x000000000f000000 + 0x3 + 0x80
> -       .quad 0x000000000f200000 + 0x3 + 0x80
> -       .quad 0x000000000f400000 + 0x3 + 0x80
> -       .quad 0x000000000f600000 + 0x3 + 0x80
> -       .quad 0x000000000f800000 + 0x3 + 0x80
> -       .quad 0x000000000fa00000 + 0x3 + 0x80
> -       .quad 0x000000000fc00000 + 0x3 + 0x80
> -       .quad 0x000000000fe00000 + 0x3 + 0x80
> -       .quad 0x0000000010000000 + 0x3 + 0x80
> -       .quad 0x0000000010200000 + 0x3 + 0x80
> -       .quad 0x0000000010400000 + 0x3 + 0x80
> -       .quad 0x0000000010600000 + 0x3 + 0x80
> -       .quad 0x0000000010800000 + 0x3 + 0x80
> -       .quad 0x0000000010a00000 + 0x3 + 0x80
> -       .quad 0x0000000010c00000 + 0x3 + 0x80
> -       .quad 0x0000000010e00000 + 0x3 + 0x80
> -       .quad 0x0000000011000000 + 0x3 + 0x80
> -       .quad 0x0000000011200000 + 0x3 + 0x80
> -       .quad 0x0000000011400000 + 0x3 + 0x80
> -       .quad 0x0000000011600000 + 0x3 + 0x80
> -       .quad 0x0000000011800000 + 0x3 + 0x80
> -       .quad 0x0000000011a00000 + 0x3 + 0x80
> -       .quad 0x0000000011c00000 + 0x3 + 0x80
> -       .quad 0x0000000011e00000 + 0x3 + 0x80
> -       .quad 0x0000000012000000 + 0x3 + 0x80
> -       .quad 0x0000000012200000 + 0x3 + 0x80
> -       .quad 0x0000000012400000 + 0x3 + 0x80
> -       .quad 0x0000000012600000 + 0x3 + 0x80
> -       .quad 0x0000000012800000 + 0x3 + 0x80
> -       .quad 0x0000000012a00000 + 0x3 + 0x80
> -       .quad 0x0000000012c00000 + 0x3 + 0x80
> -       .quad 0x0000000012e00000 + 0x3 + 0x80
> -       .quad 0x0000000013000000 + 0x3 + 0x80
> -       .quad 0x0000000013200000 + 0x3 + 0x80
> -       .quad 0x0000000013400000 + 0x3 + 0x80
> -       .quad 0x0000000013600000 + 0x3 + 0x80
> -       .quad 0x0000000013800000 + 0x3 + 0x80
> -       .quad 0x0000000013a00000 + 0x3 + 0x80
> -       .quad 0x0000000013c00000 + 0x3 + 0x80
> -       .quad 0x0000000013e00000 + 0x3 + 0x80
> -       .quad 0x0000000014000000 + 0x3 + 0x80
> -       .quad 0x0000000014200000 + 0x3 + 0x80
> -       .quad 0x0000000014400000 + 0x3 + 0x80
> -       .quad 0x0000000014600000 + 0x3 + 0x80
> -       .quad 0x0000000014800000 + 0x3 + 0x80
> -       .quad 0x0000000014a00000 + 0x3 + 0x80
> -       .quad 0x0000000014c00000 + 0x3 + 0x80
> -       .quad 0x0000000014e00000 + 0x3 + 0x80
> -       .quad 0x0000000015000000 + 0x3 + 0x80
> -       .quad 0x0000000015200000 + 0x3 + 0x80
> -       .quad 0x0000000015400000 + 0x3 + 0x80
> -       .quad 0x0000000015600000 + 0x3 + 0x80
> -       .quad 0x0000000015800000 + 0x3 + 0x80
> -       .quad 0x0000000015a00000 + 0x3 + 0x80
> -       .quad 0x0000000015c00000 + 0x3 + 0x80
> -       .quad 0x0000000015e00000 + 0x3 + 0x80
> -       .quad 0x0000000016000000 + 0x3 + 0x80
> -       .quad 0x0000000016200000 + 0x3 + 0x80
> -       .quad 0x0000000016400000 + 0x3 + 0x80
> -       .quad 0x0000000016600000 + 0x3 + 0x80
> -       .quad 0x0000000016800000 + 0x3 + 0x80
> -       .quad 0x0000000016a00000 + 0x3 + 0x80
> -       .quad 0x0000000016c00000 + 0x3 + 0x80
> -       .quad 0x0000000016e00000 + 0x3 + 0x80
> -       .quad 0x0000000017000000 + 0x3 + 0x80
> -       .quad 0x0000000017200000 + 0x3 + 0x80
> -       .quad 0x0000000017400000 + 0x3 + 0x80
> -       .quad 0x0000000017600000 + 0x3 + 0x80
> -       .quad 0x0000000017800000 + 0x3 + 0x80
> -       .quad 0x0000000017a00000 + 0x3 + 0x80
> -       .quad 0x0000000017c00000 + 0x3 + 0x80
> -       .quad 0x0000000017e00000 + 0x3 + 0x80
> -       .quad 0x0000000018000000 + 0x3 + 0x80
> -       .quad 0x0000000018200000 + 0x3 + 0x80
> -       .quad 0x0000000018400000 + 0x3 + 0x80
> -       .quad 0x0000000018600000 + 0x3 + 0x80
> -       .quad 0x0000000018800000 + 0x3 + 0x80
> -       .quad 0x0000000018a00000 + 0x3 + 0x80
> -       .quad 0x0000000018c00000 + 0x3 + 0x80
> -       .quad 0x0000000018e00000 + 0x3 + 0x80
> -       .quad 0x0000000019000000 + 0x3 + 0x80
> -       .quad 0x0000000019200000 + 0x3 + 0x80
> -       .quad 0x0000000019400000 + 0x3 + 0x80
> -       .quad 0x0000000019600000 + 0x3 + 0x80
> -       .quad 0x0000000019800000 + 0x3 + 0x80
> -       .quad 0x0000000019a00000 + 0x3 + 0x80
> -       .quad 0x0000000019c00000 + 0x3 + 0x80
> -       .quad 0x0000000019e00000 + 0x3 + 0x80
> -       .quad 0x000000001a000000 + 0x3 + 0x80
> -       .quad 0x000000001a200000 + 0x3 + 0x80
> -       .quad 0x000000001a400000 + 0x3 + 0x80
> -       .quad 0x000000001a600000 + 0x3 + 0x80
> -       .quad 0x000000001a800000 + 0x3 + 0x80
> -       .quad 0x000000001aa00000 + 0x3 + 0x80
> -       .quad 0x000000001ac00000 + 0x3 + 0x80
> -       .quad 0x000000001ae00000 + 0x3 + 0x80
> -       .quad 0x000000001b000000 + 0x3 + 0x80
> -       .quad 0x000000001b200000 + 0x3 + 0x80
> -       .quad 0x000000001b400000 + 0x3 + 0x80
> -       .quad 0x000000001b600000 + 0x3 + 0x80
> -       .quad 0x000000001b800000 + 0x3 + 0x80
> -       .quad 0x000000001ba00000 + 0x3 + 0x80
> -       .quad 0x000000001bc00000 + 0x3 + 0x80
> -       .quad 0x000000001be00000 + 0x3 + 0x80
> -       .quad 0x000000001c000000 + 0x3 + 0x80
> -       .quad 0x000000001c200000 + 0x3 + 0x80
> -       .quad 0x000000001c400000 + 0x3 + 0x80
> -       .quad 0x000000001c600000 + 0x3 + 0x80
> -       .quad 0x000000001c800000 + 0x3 + 0x80
> -       .quad 0x000000001ca00000 + 0x3 + 0x80
> -       .quad 0x000000001cc00000 + 0x3 + 0x80
> -       .quad 0x000000001ce00000 + 0x3 + 0x80
> -       .quad 0x000000001d000000 + 0x3 + 0x80
> -       .quad 0x000000001d200000 + 0x3 + 0x80
> -       .quad 0x000000001d400000 + 0x3 + 0x80
> -       .quad 0x000000001d600000 + 0x3 + 0x80
> -       .quad 0x000000001d800000 + 0x3 + 0x80
> -       .quad 0x000000001da00000 + 0x3 + 0x80
> -       .quad 0x000000001dc00000 + 0x3 + 0x80
> -       .quad 0x000000001de00000 + 0x3 + 0x80
> -       .quad 0x000000001e000000 + 0x3 + 0x80
> -       .quad 0x000000001e200000 + 0x3 + 0x80
> -       .quad 0x000000001e400000 + 0x3 + 0x80
> -       .quad 0x000000001e600000 + 0x3 + 0x80
> -       .quad 0x000000001e800000 + 0x3 + 0x80
> -       .quad 0x000000001ea00000 + 0x3 + 0x80
> -       .quad 0x000000001ec00000 + 0x3 + 0x80
> -       .quad 0x000000001ee00000 + 0x3 + 0x80
> -       .quad 0x000000001f000000 + 0x3 + 0x80
> -       .quad 0x000000001f200000 + 0x3 + 0x80
> -       .quad 0x000000001f400000 + 0x3 + 0x80
> -       .quad 0x000000001f600000 + 0x3 + 0x80
> -       .quad 0x000000001f800000 + 0x3 + 0x80
> -       .quad 0x000000001fa00000 + 0x3 + 0x80
> -       .quad 0x000000001fc00000 + 0x3 + 0x80
> -       .quad 0x000000001fe00000 + 0x3 + 0x80
> -       .quad 0x0000000020000000 + 0x3 + 0x80
> -       .quad 0x0000000020200000 + 0x3 + 0x80
> -       .quad 0x0000000020400000 + 0x3 + 0x80
> -       .quad 0x0000000020600000 + 0x3 + 0x80
> -       .quad 0x0000000020800000 + 0x3 + 0x80
> -       .quad 0x0000000020a00000 + 0x3 + 0x80
> -       .quad 0x0000000020c00000 + 0x3 + 0x80
> -       .quad 0x0000000020e00000 + 0x3 + 0x80
> -       .quad 0x0000000021000000 + 0x3 + 0x80
> -       .quad 0x0000000021200000 + 0x3 + 0x80
> -       .quad 0x0000000021400000 + 0x3 + 0x80
> -       .quad 0x0000000021600000 + 0x3 + 0x80
> -       .quad 0x0000000021800000 + 0x3 + 0x80
> -       .quad 0x0000000021a00000 + 0x3 + 0x80
> -       .quad 0x0000000021c00000 + 0x3 + 0x80
> -       .quad 0x0000000021e00000 + 0x3 + 0x80
> -       .quad 0x0000000022000000 + 0x3 + 0x80
> -       .quad 0x0000000022200000 + 0x3 + 0x80
> -       .quad 0x0000000022400000 + 0x3 + 0x80
> -       .quad 0x0000000022600000 + 0x3 + 0x80
> -       .quad 0x0000000022800000 + 0x3 + 0x80
> -       .quad 0x0000000022a00000 + 0x3 + 0x80
> -       .quad 0x0000000022c00000 + 0x3 + 0x80
> -       .quad 0x0000000022e00000 + 0x3 + 0x80
> -       .quad 0x0000000023000000 + 0x3 + 0x80
> -       .quad 0x0000000023200000 + 0x3 + 0x80
> -       .quad 0x0000000023400000 + 0x3 + 0x80
> -       .quad 0x0000000023600000 + 0x3 + 0x80
> -       .quad 0x0000000023800000 + 0x3 + 0x80
> -       .quad 0x0000000023a00000 + 0x3 + 0x80
> -       .quad 0x0000000023c00000 + 0x3 + 0x80
> -       .quad 0x0000000023e00000 + 0x3 + 0x80
> -       .quad 0x0000000024000000 + 0x3 + 0x80
> -       .quad 0x0000000024200000 + 0x3 + 0x80
> -       .quad 0x0000000024400000 + 0x3 + 0x80
> -       .quad 0x0000000024600000 + 0x3 + 0x80
> -       .quad 0x0000000024800000 + 0x3 + 0x80
> -       .quad 0x0000000024a00000 + 0x3 + 0x80
> -       .quad 0x0000000024c00000 + 0x3 + 0x80
> -       .quad 0x0000000024e00000 + 0x3 + 0x80
> -       .quad 0x0000000025000000 + 0x3 + 0x80
> -       .quad 0x0000000025200000 + 0x3 + 0x80
> -       .quad 0x0000000025400000 + 0x3 + 0x80
> -       .quad 0x0000000025600000 + 0x3 + 0x80
> -       .quad 0x0000000025800000 + 0x3 + 0x80
> -       .quad 0x0000000025a00000 + 0x3 + 0x80
> -       .quad 0x0000000025c00000 + 0x3 + 0x80
> -       .quad 0x0000000025e00000 + 0x3 + 0x80
> -       .quad 0x0000000026000000 + 0x3 + 0x80
> -       .quad 0x0000000026200000 + 0x3 + 0x80
> -       .quad 0x0000000026400000 + 0x3 + 0x80
> -       .quad 0x0000000026600000 + 0x3 + 0x80
> -       .quad 0x0000000026800000 + 0x3 + 0x80
> -       .quad 0x0000000026a00000 + 0x3 + 0x80
> -       .quad 0x0000000026c00000 + 0x3 + 0x80
> -       .quad 0x0000000026e00000 + 0x3 + 0x80
> -       .quad 0x0000000027000000 + 0x3 + 0x80
> -       .quad 0x0000000027200000 + 0x3 + 0x80
> -       .quad 0x0000000027400000 + 0x3 + 0x80
> -       .quad 0x0000000027600000 + 0x3 + 0x80
> -       .quad 0x0000000027800000 + 0x3 + 0x80
> -       .quad 0x0000000027a00000 + 0x3 + 0x80
> -       .quad 0x0000000027c00000 + 0x3 + 0x80
> -       .quad 0x0000000027e00000 + 0x3 + 0x80
> -       .quad 0x0000000028000000 + 0x3 + 0x80
> -       .quad 0x0000000028200000 + 0x3 + 0x80
> -       .quad 0x0000000028400000 + 0x3 + 0x80
> -       .quad 0x0000000028600000 + 0x3 + 0x80
> -       .quad 0x0000000028800000 + 0x3 + 0x80
> -       .quad 0x0000000028a00000 + 0x3 + 0x80
> -       .quad 0x0000000028c00000 + 0x3 + 0x80
> -       .quad 0x0000000028e00000 + 0x3 + 0x80
> -       .quad 0x0000000029000000 + 0x3 + 0x80
> -       .quad 0x0000000029200000 + 0x3 + 0x80
> -       .quad 0x0000000029400000 + 0x3 + 0x80
> -       .quad 0x0000000029600000 + 0x3 + 0x80
> -       .quad 0x0000000029800000 + 0x3 + 0x80
> -       .quad 0x0000000029a00000 + 0x3 + 0x80
> -       .quad 0x0000000029c00000 + 0x3 + 0x80
> -       .quad 0x0000000029e00000 + 0x3 + 0x80
> -       .quad 0x000000002a000000 + 0x3 + 0x80
> -       .quad 0x000000002a200000 + 0x3 + 0x80
> -       .quad 0x000000002a400000 + 0x3 + 0x80
> -       .quad 0x000000002a600000 + 0x3 + 0x80
> -       .quad 0x000000002a800000 + 0x3 + 0x80
> -       .quad 0x000000002aa00000 + 0x3 + 0x80
> -       .quad 0x000000002ac00000 + 0x3 + 0x80
> -       .quad 0x000000002ae00000 + 0x3 + 0x80
> -       .quad 0x000000002b000000 + 0x3 + 0x80
> -       .quad 0x000000002b200000 + 0x3 + 0x80
> -       .quad 0x000000002b400000 + 0x3 + 0x80
> -       .quad 0x000000002b600000 + 0x3 + 0x80
> -       .quad 0x000000002b800000 + 0x3 + 0x80
> -       .quad 0x000000002ba00000 + 0x3 + 0x80
> -       .quad 0x000000002bc00000 + 0x3 + 0x80
> -       .quad 0x000000002be00000 + 0x3 + 0x80
> -       .quad 0x000000002c000000 + 0x3 + 0x80
> -       .quad 0x000000002c200000 + 0x3 + 0x80
> -       .quad 0x000000002c400000 + 0x3 + 0x80
> -       .quad 0x000000002c600000 + 0x3 + 0x80
> -       .quad 0x000000002c800000 + 0x3 + 0x80
> -       .quad 0x000000002ca00000 + 0x3 + 0x80
> -       .quad 0x000000002cc00000 + 0x3 + 0x80
> -       .quad 0x000000002ce00000 + 0x3 + 0x80
> -       .quad 0x000000002d000000 + 0x3 + 0x80
> -       .quad 0x000000002d200000 + 0x3 + 0x80
> -       .quad 0x000000002d400000 + 0x3 + 0x80
> -       .quad 0x000000002d600000 + 0x3 + 0x80
> -       .quad 0x000000002d800000 + 0x3 + 0x80
> -       .quad 0x000000002da00000 + 0x3 + 0x80
> -       .quad 0x000000002dc00000 + 0x3 + 0x80
> -       .quad 0x000000002de00000 + 0x3 + 0x80
> -       .quad 0x000000002e000000 + 0x3 + 0x80
> -       .quad 0x000000002e200000 + 0x3 + 0x80
> -       .quad 0x000000002e400000 + 0x3 + 0x80
> -       .quad 0x000000002e600000 + 0x3 + 0x80
> -       .quad 0x000000002e800000 + 0x3 + 0x80
> -       .quad 0x000000002ea00000 + 0x3 + 0x80
> -       .quad 0x000000002ec00000 + 0x3 + 0x80
> -       .quad 0x000000002ee00000 + 0x3 + 0x80
> -       .quad 0x000000002f000000 + 0x3 + 0x80
> -       .quad 0x000000002f200000 + 0x3 + 0x80
> -       .quad 0x000000002f400000 + 0x3 + 0x80
> -       .quad 0x000000002f600000 + 0x3 + 0x80
> -       .quad 0x000000002f800000 + 0x3 + 0x80
> -       .quad 0x000000002fa00000 + 0x3 + 0x80
> -       .quad 0x000000002fc00000 + 0x3 + 0x80
> -       .quad 0x000000002fe00000 + 0x3 + 0x80
> -       .quad 0x0000000030000000 + 0x3 + 0x80
> -       .quad 0x0000000030200000 + 0x3 + 0x80
> -       .quad 0x0000000030400000 + 0x3 + 0x80
> -       .quad 0x0000000030600000 + 0x3 + 0x80
> -       .quad 0x0000000030800000 + 0x3 + 0x80
> -       .quad 0x0000000030a00000 + 0x3 + 0x80
> -       .quad 0x0000000030c00000 + 0x3 + 0x80
> -       .quad 0x0000000030e00000 + 0x3 + 0x80
> -       .quad 0x0000000031000000 + 0x3 + 0x80
> -       .quad 0x0000000031200000 + 0x3 + 0x80
> -       .quad 0x0000000031400000 + 0x3 + 0x80
> -       .quad 0x0000000031600000 + 0x3 + 0x80
> -       .quad 0x0000000031800000 + 0x3 + 0x80
> -       .quad 0x0000000031a00000 + 0x3 + 0x80
> -       .quad 0x0000000031c00000 + 0x3 + 0x80
> -       .quad 0x0000000031e00000 + 0x3 + 0x80
> -       .quad 0x0000000032000000 + 0x3 + 0x80
> -       .quad 0x0000000032200000 + 0x3 + 0x80
> -       .quad 0x0000000032400000 + 0x3 + 0x80
> -       .quad 0x0000000032600000 + 0x3 + 0x80
> -       .quad 0x0000000032800000 + 0x3 + 0x80
> -       .quad 0x0000000032a00000 + 0x3 + 0x80
> -       .quad 0x0000000032c00000 + 0x3 + 0x80
> -       .quad 0x0000000032e00000 + 0x3 + 0x80
> -       .quad 0x0000000033000000 + 0x3 + 0x80
> -       .quad 0x0000000033200000 + 0x3 + 0x80
> -       .quad 0x0000000033400000 + 0x3 + 0x80
> -       .quad 0x0000000033600000 + 0x3 + 0x80
> -       .quad 0x0000000033800000 + 0x3 + 0x80
> -       .quad 0x0000000033a00000 + 0x3 + 0x80
> -       .quad 0x0000000033c00000 + 0x3 + 0x80
> -       .quad 0x0000000033e00000 + 0x3 + 0x80
> -       .quad 0x0000000034000000 + 0x3 + 0x80
> -       .quad 0x0000000034200000 + 0x3 + 0x80
> -       .quad 0x0000000034400000 + 0x3 + 0x80
> -       .quad 0x0000000034600000 + 0x3 + 0x80
> -       .quad 0x0000000034800000 + 0x3 + 0x80
> -       .quad 0x0000000034a00000 + 0x3 + 0x80
> -       .quad 0x0000000034c00000 + 0x3 + 0x80
> -       .quad 0x0000000034e00000 + 0x3 + 0x80
> -       .quad 0x0000000035000000 + 0x3 + 0x80
> -       .quad 0x0000000035200000 + 0x3 + 0x80
> -       .quad 0x0000000035400000 + 0x3 + 0x80
> -       .quad 0x0000000035600000 + 0x3 + 0x80
> -       .quad 0x0000000035800000 + 0x3 + 0x80
> -       .quad 0x0000000035a00000 + 0x3 + 0x80
> -       .quad 0x0000000035c00000 + 0x3 + 0x80
> -       .quad 0x0000000035e00000 + 0x3 + 0x80
> -       .quad 0x0000000036000000 + 0x3 + 0x80
> -       .quad 0x0000000036200000 + 0x3 + 0x80
> -       .quad 0x0000000036400000 + 0x3 + 0x80
> -       .quad 0x0000000036600000 + 0x3 + 0x80
> -       .quad 0x0000000036800000 + 0x3 + 0x80
> -       .quad 0x0000000036a00000 + 0x3 + 0x80
> -       .quad 0x0000000036c00000 + 0x3 + 0x80
> -       .quad 0x0000000036e00000 + 0x3 + 0x80
> -       .quad 0x0000000037000000 + 0x3 + 0x80
> -       .quad 0x0000000037200000 + 0x3 + 0x80
> -       .quad 0x0000000037400000 + 0x3 + 0x80
> -       .quad 0x0000000037600000 + 0x3 + 0x80
> -       .quad 0x0000000037800000 + 0x3 + 0x80
> -       .quad 0x0000000037a00000 + 0x3 + 0x80
> -       .quad 0x0000000037c00000 + 0x3 + 0x80
> -       .quad 0x0000000037e00000 + 0x3 + 0x80
> -       .quad 0x0000000038000000 + 0x3 + 0x80
> -       .quad 0x0000000038200000 + 0x3 + 0x80
> -       .quad 0x0000000038400000 + 0x3 + 0x80
> -       .quad 0x0000000038600000 + 0x3 + 0x80
> -       .quad 0x0000000038800000 + 0x3 + 0x80
> -       .quad 0x0000000038a00000 + 0x3 + 0x80
> -       .quad 0x0000000038c00000 + 0x3 + 0x80
> -       .quad 0x0000000038e00000 + 0x3 + 0x80
> -       .quad 0x0000000039000000 + 0x3 + 0x80
> -       .quad 0x0000000039200000 + 0x3 + 0x80
> -       .quad 0x0000000039400000 + 0x3 + 0x80
> -       .quad 0x0000000039600000 + 0x3 + 0x80
> -       .quad 0x0000000039800000 + 0x3 + 0x80
> -       .quad 0x0000000039a00000 + 0x3 + 0x80
> -       .quad 0x0000000039c00000 + 0x3 + 0x80
> -       .quad 0x0000000039e00000 + 0x3 + 0x80
> -       .quad 0x000000003a000000 + 0x3 + 0x80
> -       .quad 0x000000003a200000 + 0x3 + 0x80
> -       .quad 0x000000003a400000 + 0x3 + 0x80
> -       .quad 0x000000003a600000 + 0x3 + 0x80
> -       .quad 0x000000003a800000 + 0x3 + 0x80
> -       .quad 0x000000003aa00000 + 0x3 + 0x80
> -       .quad 0x000000003ac00000 + 0x3 + 0x80
> -       .quad 0x000000003ae00000 + 0x3 + 0x80
> -       .quad 0x000000003b000000 + 0x3 + 0x80
> -       .quad 0x000000003b200000 + 0x3 + 0x80
> -       .quad 0x000000003b400000 + 0x3 + 0x80
> -       .quad 0x000000003b600000 + 0x3 + 0x80
> -       .quad 0x000000003b800000 + 0x3 + 0x80
> -       .quad 0x000000003ba00000 + 0x3 + 0x80
> -       .quad 0x000000003bc00000 + 0x3 + 0x80
> -       .quad 0x000000003be00000 + 0x3 + 0x80
> -       .quad 0x000000003c000000 + 0x3 + 0x80
> -       .quad 0x000000003c200000 + 0x3 + 0x80
> -       .quad 0x000000003c400000 + 0x3 + 0x80
> -       .quad 0x000000003c600000 + 0x3 + 0x80
> -       .quad 0x000000003c800000 + 0x3 + 0x80
> -       .quad 0x000000003ca00000 + 0x3 + 0x80
> -       .quad 0x000000003cc00000 + 0x3 + 0x80
> -       .quad 0x000000003ce00000 + 0x3 + 0x80
> -       .quad 0x000000003d000000 + 0x3 + 0x80
> -       .quad 0x000000003d200000 + 0x3 + 0x80
> -       .quad 0x000000003d400000 + 0x3 + 0x80
> -       .quad 0x000000003d600000 + 0x3 + 0x80
> -       .quad 0x000000003d800000 + 0x3 + 0x80
> -       .quad 0x000000003da00000 + 0x3 + 0x80
> -       .quad 0x000000003dc00000 + 0x3 + 0x80
> -       .quad 0x000000003de00000 + 0x3 + 0x80
> -       .quad 0x000000003e000000 + 0x3 + 0x80
> -       .quad 0x000000003e200000 + 0x3 + 0x80
> -       .quad 0x000000003e400000 + 0x3 + 0x80
> -       .quad 0x000000003e600000 + 0x3 + 0x80
> -       .quad 0x000000003e800000 + 0x3 + 0x80
> -       .quad 0x000000003ea00000 + 0x3 + 0x80
> -       .quad 0x000000003ec00000 + 0x3 + 0x80
> -       .quad 0x000000003ee00000 + 0x3 + 0x80
> -       .quad 0x000000003f000000 + 0x3 + 0x80
> -       .quad 0x000000003f200000 + 0x3 + 0x80
> -       .quad 0x000000003f400000 + 0x3 + 0x80
> -       .quad 0x000000003f600000 + 0x3 + 0x80
> -       .quad 0x000000003f800000 + 0x3 + 0x80
> -       .quad 0x000000003fa00000 + 0x3 + 0x80
> -       .quad 0x000000003fc00000 + 0x3 + 0x80
> -       .quad 0x000000003fe00000 + 0x3 + 0x80
> +       .quad 0x0000000000000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000000200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000000400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000000600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000000800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000000a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000000c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000000e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000001000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000001200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000001400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000001600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000001800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000001a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000001c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000001e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000002000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000002200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000002400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000002600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000002800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000002a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000002c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000002e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000003000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000003200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000003400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000003600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000003800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000003a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000003c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000003e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000004000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000004200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000004400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000004600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000004800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000004a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000004c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000004e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000005000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000005200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000005400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000005600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000005800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000005a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000005c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000005e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000006000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000006200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000006400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000006600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000006800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000006a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000006c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000006e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000007000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000007200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000007400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000007600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000007800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000007a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000007c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000007e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000008000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000008200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000008400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000008600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000008800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000008a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000008c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000008e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000009000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000009200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000009400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000009600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000009800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000009a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000009c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000009e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000a000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000a200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000a400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000a600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000a800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000aa00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000ac00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000ae00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000b000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000b200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000b400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000b600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000b800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000ba00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000bc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000be00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000c000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000c200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000c400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000c600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000c800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000ca00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000cc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000ce00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000d000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000d200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000d400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000d600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000d800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000da00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000dc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000de00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000e000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000e200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000e400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000e600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000e800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000ea00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000ec00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000ee00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000f000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000f200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000f400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000f600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000f800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000fa00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000fc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000000fe00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000010000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000010200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000010400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000010600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000010800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000010a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000010c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000010e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000011000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000011200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000011400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000011600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000011800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000011a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000011c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000011e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000012000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000012200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000012400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000012600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000012800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000012a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000012c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000012e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000013000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000013200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000013400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000013600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000013800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000013a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000013c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000013e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000014000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000014200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000014400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000014600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000014800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000014a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000014c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000014e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000015000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000015200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000015400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000015600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000015800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000015a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000015c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000015e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000016000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000016200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000016400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000016600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000016800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000016a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000016c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000016e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000017000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000017200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000017400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000017600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000017800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000017a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000017c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000017e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000018000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000018200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000018400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000018600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000018800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000018a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000018c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000018e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000019000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000019200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000019400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000019600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000019800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000019a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000019c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000019e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001a000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001a200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001a400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001a600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001a800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001aa00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001ac00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001ae00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001b000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001b200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001b400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001b600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001b800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001ba00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001bc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001be00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001c000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001c200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001c400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001c600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001c800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001ca00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001cc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001ce00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001d000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001d200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001d400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001d600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001d800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001da00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001dc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001de00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001e000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001e200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001e400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001e600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001e800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001ea00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001ec00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001ee00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001f000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001f200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001f400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001f600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001f800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001fa00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001fc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000001fe00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000020000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000020200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000020400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000020600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000020800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000020a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000020c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000020e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000021000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000021200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000021400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000021600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000021800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000021a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000021c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000021e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000022000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000022200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000022400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000022600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000022800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000022a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000022c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000022e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000023000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000023200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000023400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000023600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000023800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000023a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000023c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000023e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000024000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000024200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000024400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000024600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000024800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000024a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000024c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000024e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000025000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000025200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000025400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000025600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000025800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000025a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000025c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000025e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000026000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000026200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000026400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000026600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000026800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000026a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000026c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000026e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000027000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000027200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000027400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000027600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000027800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000027a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000027c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000027e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000028000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000028200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000028400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000028600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000028800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000028a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000028c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000028e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000029000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000029200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000029400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000029600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000029800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000029a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000029c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000029e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002a000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002a200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002a400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002a600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002a800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002aa00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002ac00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002ae00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002b000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002b200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002b400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002b600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002b800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002ba00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002bc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002be00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002c000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002c200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002c400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002c600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002c800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002ca00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002cc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002ce00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002d000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002d200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002d400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002d600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002d800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002da00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002dc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002de00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002e000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002e200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002e400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002e600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002e800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002ea00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002ec00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002ee00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002f000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002f200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002f400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002f600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002f800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002fa00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002fc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000002fe00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000030000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000030200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000030400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000030600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000030800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000030a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000030c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000030e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000031000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000031200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000031400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000031600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000031800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000031a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000031c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000031e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000032000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000032200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000032400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000032600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000032800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000032a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000032c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000032e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000033000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000033200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000033400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000033600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000033800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000033a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000033c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000033e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000034000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000034200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000034400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000034600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000034800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000034a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000034c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000034e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000035000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000035200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000035400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000035600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000035800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000035a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000035c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000035e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000036000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000036200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000036400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000036600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000036800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000036a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000036c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000036e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000037000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000037200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000037400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000037600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000037800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000037a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000037c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000037e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000038000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000038200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000038400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000038600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000038800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000038a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000038c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000038e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000039000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000039200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000039400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000039600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000039800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000039a00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000039c00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x0000000039e00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003a000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003a200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003a400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003a600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003a800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003aa00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003ac00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003ae00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003b000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003b200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003b400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003b600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003b800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003ba00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003bc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003be00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003c000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003c200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003c400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003c600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003c800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003ca00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003cc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003ce00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003d000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003d200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003d400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003d600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003d800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003da00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003dc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003de00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003e000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003e200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003e400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003e600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003e800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003ea00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003ec00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003ee00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003f000000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003f200000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003f400000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003f600000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003f800000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003fa00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003fc00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
> +       .quad 0x000000003fe00000 + PAGETABLE_RW + PAGETABLE_LARGEPAGE
>   
>   .align 0x1000
>   cpu_pdpt:
> -       .quad cpu_pd + 0x3
> +       .quad cpu_pd + PAGETABLE_RW
>         .fill 0x1ff, 0x8, 0x0
>   
>   .align 0x1000
>   cpu_pml4:
> -       .quad cpu_pdpt + 0x3
> +       .quad cpu_pdpt + PAGETABLE_RW
>         .fill 0x1ff, 0x8, 0x0
_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel