taglinefilesource code
slot0564arch/ppc/mm/init.cPTE *slot0, *slot1;
slot0597arch/ppc/mm/init.cslot0 = _pte;
slot0622arch/ppc/mm/init.cprintk("Map VA: %08X, Slot: %08X[%08X/%08X], H: %d\n", va, slot, slot0, slot1, h);
slot0624arch/ppc/mm/init.c_pte = slot0;
slot0652arch/ppc/mm/init.c_printk("Map VA: %08X, Slot: %08X[%08X/%08X], H: %d\n", va, slot, slot0, slot1, h);