sys/arch/amd64/amd64/machdep.c

1692

normal_pdes[2] = L4_BASE;

sys/arch/amd64/amd64/prekern.c

131

L4_BASE[0] = 0;

sys/arch/amd64/include/asan.h

170

if (!pmap_valid_entry(L4_BASE[pl4_i(va)])) {

sys/arch/amd64/include/asan.h

172

L4_BASE[pl4_i(va)] = pa | pteflags;

sys/arch/amd64/include/msan.h

140

if (!pmap_valid_entry(L4_BASE[pl4_i(va)])) {

sys/arch/amd64/include/msan.h

142

L4_BASE[pl4_i(va)] = pa | pteflags;

sys/arch/amd64/include/pmap_private.h

132

#define PDP_BASE L4_BASE

sys/arch/amd64/include/pmap_private.h

168

#define PDES_INITIALIZER { L2_BASE, L3_BASE, L4_BASE }

sys/arch/amd64/stand/prekern/mm.c

176

if (!mm_pte_is_valid(L4_BASE[L4e_idx])) {

sys/arch/amd64/stand/prekern/mm.c

178

L4_BASE[L4e_idx] = pa | PTE_P | PTE_W;

sys/arch/x86/x86/pmap.c

1596

KASSERT(L4_BASE[L4e_idx+i] == 0);

sys/arch/x86/x86/pmap.c

1603

L4_BASE[L4e_idx+i] = pa | pteflags | PTE_A;

sys/arch/x86/x86/pmap.c

1743

KASSERT(L4_BASE[L4e_idx+i] == 0);

sys/arch/x86/x86/pmap.c

1750

L4_BASE[L4e_idx+i] = pa | pteflags | PTE_A;

sys/arch/x86/x86/pmap.c

830

KASSERT(ci->ci_normal_pdes[PTP_LEVELS - 2] == L4_BASE);

sys/arch/x86/x86/pmap.c

867

KASSERT(ci->ci_normal_pdes[PTP_LEVELS - 2] != L4_BASE);

sys/arch/x86/x86/pmap.c

868

ci->ci_normal_pdes[PTP_LEVELS - 2] = L4_BASE;