sys/amd64/amd64/pmap.c

1646

CTASSERT(powerof2(NDMPML4E));

sys/amd64/amd64/pmap.c

1808

if (ndmpdpphys > NDMPML4E) {

sys/amd64/amd64/pmap.c

1815

NDMPML4E * 512);

sys/amd64/amd64/pmap.c

1816

Maxmem = atop(NDMPML4E * NBPML4);

sys/amd64/amd64/pmap.c

1817

ndmpdpphys = NDMPML4E;

sys/amd64/amd64/pmap.c

1818

ndmpdp = NDMPML4E * NPDEPG;

sys/amd64/amd64/pmap.c

471

_Static_assert(DMPML4I + NDMPML4E <= KMSANSHADPML4I, "direct map overflow");

sys/amd64/amd64/pmap.c

488

.dmap_high = KV4ADDR(DMPML4I + NDMPML4E, 0, 0, 0),

sys/amd64/include/pmap.h

194

#define DMPML4I rounddown(KPML4BASE-NDMPML4E, NDMPML4E) /* Below KVM */