tag	line	file	source code
slot0	560	arch/ppc/mm/init.c	PTE *slot0, *slot1;
slot0	593	arch/ppc/mm/init.c	slot0 = _pte;
slot0	618	arch/ppc/mm/init.c	printk("Map VA: %08X, Slot: %08X[%08X/%08X], H: %d\n", va, slot, slot0, slot1, h);
slot0	620	arch/ppc/mm/init.c	_pte = slot0;
slot0	648	arch/ppc/mm/init.c	_printk("Map VA: %08X, Slot: %08X[%08X/%08X], H: %d\n", va, slot, slot0, slot1, h);