Symbol: VPAGE_MAX
sys/arch/x86/include/cpu.h
251
vaddr_t vpage[VPAGE_MAX];
sys/arch/x86/include/cpu.h
252
pt_entry_t *vpage_pte[VPAGE_MAX];
sys/arch/x86/x86/pmap.c
2006
KASSERT(npages >= VPAGE_MAX);
sys/arch/x86/x86/pmap.c
2026
for (i = 0; i < VPAGE_MAX; i++) {