Home
last modified time | relevance | path

Searched refs:KMSANSHADPML4I (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/amd64/include/
H A Dvmparam.h198 #define KMSAN_SHAD_MIN_ADDRESS KV4ADDR(KMSANSHADPML4I, 0, 0, 0)
199 #define KMSAN_SHAD_MAX_ADDRESS KV4ADDR(KMSANSHADPML4I + NKMSANSHADPML4E, \
H A Dpmap.h261 #define KMSANSHADPML4I (KPML4BASE - NKMSANSHADPML4E) macro
/freebsd/sys/amd64/amd64/
H A Dpmap.c464 _Static_assert(DMPML4I + NDMPML4E <= KMSANSHADPML4I, "direct map overflow");
1883 p4_p[KMSANSHADPML4I + i] = KMSANSHADPDPphys + ptoa(i); in create_pagetables()
1884 p4_p[KMSANSHADPML4I + i] |= X86_PG_RW | X86_PG_V | pg_nx; in create_pagetables()
4344 pm_pml4[KMSANSHADPML4I + i] = (KMSANSHADPDPphys + ptoa(i)) | in pmap_pinit_pml4()
4952 pmap->pm_pmltop[KMSANSHADPML4I + i] = 0; in pmap_release()
12048 case KMSANSHADPML4I: in sysctl_kmaps()