KV4ADDR
.kva_min = KV4ADDR(PML4PML4I, 0, 0, 0),
.kva_max = KV4ADDR(NPML4EPG - 1, NPDPEPG - 1,
.dmap_low = KV4ADDR(DMPML4I, 0, 0, 0),
.dmap_high = KV4ADDR(DMPML4I + NDMPML4E, 0, 0, 0),
.lm_low = KV4ADDR(LMSPML4I, 0, 0, 0),
.lm_high = KV4ADDR(LMEPML4I + 1, 0, 0, 0),
.km_low = KV4ADDR(KPML4BASE, 0, 0, 0),
.km_high = KV4ADDR(KPML4BASE + NKPML4E - 1, NPDPEPG - 1,
.rec_pt = KV4ADDR(PML4PML4I, 0, 0, 0),
.kasan_shadow_low = KV4ADDR(KASANPML4I, 0, 0, 0),
.kasan_shadow_high = KV4ADDR(KASANPML4I + NKASANPML4E, 0, 0, 0),
.kmsan_shadow_low = KV4ADDR(KMSANSHADPML4I, 0, 0, 0),
.kmsan_shadow_high = KV4ADDR(KMSANSHADPML4I + NKMSANSHADPML4E,
.kmsan_origin_low = KV4ADDR(KMSANORIGPML4I, 0, 0, 0),
.kmsan_origin_high = KV4ADDR(KMSANORIGPML4I + NKMSANORIGPML4E,
.km_low = KV4ADDR(KPML4BASE, 0, 0, 0),
.km_high = KV4ADDR(KPML4BASE + NKPML4E - 1, NPDPEPG - 1,
.kasan_shadow_low = KV4ADDR(KASANPML4I, 0, 0, 0),
.kasan_shadow_high = KV4ADDR(KASANPML4I + NKASANPML4E, 0, 0, 0),
.kmsan_shadow_low = KV4ADDR(KMSANSHADPML4I, 0, 0, 0),
.kmsan_shadow_high = KV4ADDR(KMSANSHADPML4I + NKMSANSHADPML4E,
.kmsan_origin_low = KV4ADDR(KMSANORIGPML4I, 0, 0, 0),
.kmsan_origin_high = KV4ADDR(KMSANORIGPML4I + NKMSANORIGPML4E,
#define addr_P4Tmap (KV4ADDR(PML4PML4I, 0, 0, 0))
#define addr_P4Dmap (KV4ADDR(PML4PML4I, PML4PML4I, 0, 0))
#define addr_P4DPmap (KV4ADDR(PML4PML4I, PML4PML4I, PML4PML4I, 0))
#define addr_P4ML4map (KV4ADDR(PML4PML4I, PML4PML4I, PML4PML4I, PML4PML4I))
#define VM_MIN_KERNEL_ADDRESS_LA48 KV4ADDR(KPML4BASE, 0, 0, 0)
#define KERNBASE KV4ADDR(KPML4I, KPDPI, 0, 0)
#define UPT_MAX_ADDRESS KV4ADDR(PML4PML4I, PML4PML4I, PML4PML4I, PML4PML4I)
#define UPT_MIN_ADDRESS KV4ADDR(PML4PML4I, 0, 0, 0)