Symbol: map_vhpt
sys/arch/ia64/ia64/pmap.c
488
map_vhpt(base);
sys/arch/ia64/include/md_var.h
94
void map_vhpt(uintptr_t);