sys/arch/x86/x86/pmap.c

2757

memcpy(&pdir[PDIR_SLOT_KERN], &PDP_BASE[PDIR_SLOT_KERN],

sys/arch/x86/x86/pmap.c

2762

pdir[idx] = PDP_BASE[idx];

sys/arch/x86/x86/pmap.c

2766

pdir[PDIR_SLOT_PCPU] = PDP_BASE[PDIR_SLOT_PCPU];

sys/arch/x86/x86/pmap.c

2769

slotspace_copy(SLAREA_DMAP, pdir, PDP_BASE);

sys/arch/x86/x86/pmap.c

2772

slotspace_copy(SLAREA_ASAN, pdir, PDP_BASE);

sys/arch/x86/x86/pmap.c

2775

slotspace_copy(SLAREA_MSAN, pdir, PDP_BASE);

sys/arch/x86/x86/pmap.c

5005

KASSERTMSG(va != (vaddr_t)PDP_BASE, "%s: trying to map va=%#"

sys/arch/x86/x86/pmap.c

5380

KASSERTMSG(va != (vaddr_t)PDP_BASE, "%s: trying to map va=%#"