sys/amd64/amd64/pmap.c

11719

(NKMSANSHADPML4E + NKMSANORIGPML4E + 2 * (2 + 2 + KSTACK_PAGES))

sys/amd64/amd64/pmap.c

11782

for (i = 0; i < NKMSANSHADPML4E; i++) {

sys/amd64/amd64/pmap.c

1861

KMSANSHADPDPphys = allocpages(firstaddr, NKMSANSHADPML4E);

sys/amd64/amd64/pmap.c

2008

for (i = 0; i < NKMSANSHADPML4E; i++) {

sys/amd64/amd64/pmap.c

4250

for (i = 0; i < NKMSANSHADPML4E; i++) {

sys/amd64/amd64/pmap.c

4850

for (i = 0; i < NKMSANSHADPML4E; i++) /* KMSAN shadow map */

sys/amd64/amd64/pmap.c

498

.kmsan_shadow_high = KV4ADDR(KMSANSHADPML4I + NKMSANSHADPML4E,

sys/amd64/amd64/pmap.c

520

.kmsan_shadow_high = KV4ADDR(KMSANSHADPML4I + NKMSANSHADPML4E,

sys/amd64/include/pmap.h

202

#define KMSANSHADPML4I (KPML4BASE - NKMSANSHADPML4E)