KASANPML4I
p4_p[KASANPML4I + i] = KASANPDPphys + ptoa(i);
p4_p[KASANPML4I + i] |= X86_PG_RW | X86_PG_V | pg_nx;
pm_pml4[KASANPML4I + i] = (KASANPDPphys + ptoa(i)) | X86_PG_RW |
pmap->pm_pmltop[KASANPML4I + i] = 0;
.kasan_shadow_low = KV4ADDR(KASANPML4I, 0, 0, 0),
.kasan_shadow_high = KV4ADDR(KASANPML4I + NKASANPML4E, 0, 0, 0),
.kasan_shadow_low = KV4ADDR(KASANPML4I, 0, 0, 0),
.kasan_shadow_high = KV4ADDR(KASANPML4I + NKASANPML4E, 0, 0, 0),
#define LMEPML4I (KASANPML4I - 1)