HelenOS sources

vhpt_invalidate_all   54 kernel/arch/ia64/include/arch/mm/vhpt.h void vhpt_invalidate_all(void);
vhpt_invalidate_all   90 kernel/arch/ia64/src/mm/tlb.c 	vhpt_invalidate_all();
vhpt_invalidate_all   50 kernel/arch/ia64/src/mm/vhpt.c 	vhpt_invalidate_all();
vhpt_invalidate_all   90 kernel/arch/ia64/src/mm/vhpt.c 	vhpt_invalidate_all();