HelenOS sources

PPN_SHIFT         249 kernel/arch/ia64/src/mm/page.c 	v->present.ppn = frame >> PPN_SHIFT;
PPN_SHIFT         383 kernel/arch/ia64/src/mm/tlb.c 	entry.ppn = frame >> PPN_SHIFT;
PPN_SHIFT         427 kernel/arch/ia64/src/mm/tlb.c 	entry.ppn = t->frame >> PPN_SHIFT;
PPN_SHIFT         456 kernel/arch/ia64/src/mm/tlb.c 	entry.ppn = t->frame >> PPN_SHIFT;
PPN_SHIFT         554 kernel/arch/ia64/src/mm/tlb.c 				entry.ppn = frame >> PPN_SHIFT;