Symbol: VPTBASE
sys/arch/alpha/alpha/pmap.c
3044
l1pt[l1pte_index(VPTBASE)] = pte;
sys/arch/alpha/alpha/pmap.c
774
kernel_lev1map[l1pte_index(VPTBASE)] = pte;
sys/arch/alpha/alpha/pmap.c
775
VPT = (pt_entry_t *)VPTBASE;
sys/arch/alpha/alpha/prom.c
208
hwrpb->rpb_vptb = VPTBASE;