Symbol: update_pcbs
sys/arch/vax/vax/pmap.c
664
update_pcbs(pm);
sys/arch/vax/vax/pmap.c
819
update_pcbs(pm);
sys/arch/vax/vax/pmap.c
859
update_pcbs(pm);