HelenOS sources

vhpt_set_up        41 kernel/arch/ia64/include/arch/mm/vhpt.h uintptr_t vhpt_set_up(void);
vhpt_set_up        87 kernel/arch/ia64/src/mm/page.c 	vhpt_base = vhpt_set_up();