sys/amd64/amd64/pmap.c

11719

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

sys/amd64/amd64/pmap.c

11774

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

sys/amd64/amd64/pmap.c

1862

KMSANORIGPDPphys = allocpages(firstaddr, NKMSANORIGPML4E);

sys/amd64/amd64/pmap.c

2014

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

sys/amd64/amd64/pmap.c

4254

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

sys/amd64/amd64/pmap.c

4852

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

sys/amd64/amd64/pmap.c

501

.kmsan_origin_high = KV4ADDR(KMSANORIGPML4I + NKMSANORIGPML4E,

sys/amd64/amd64/pmap.c

523

.kmsan_origin_high = KV4ADDR(KMSANORIGPML4I + NKMSANORIGPML4E,

sys/amd64/include/pmap.h

203

#define KMSANORIGPML4I (DMPML4I - NKMSANORIGPML4E)