taglinefilesource code
slot0560arch/ppc/mm/init.cPTE *slot0, *slot1;
slot0593arch/ppc/mm/init.cslot0 = _pte;
slot0618arch/ppc/mm/init.cprintk("Map VA: %08X, Slot: %08X[%08X/%08X], H: %d\n", va, slot, slot0, slot1, h);
slot0620arch/ppc/mm/init.c_pte = slot0;
slot0648arch/ppc/mm/init.c_printk("Map VA: %08X, Slot: %08X[%08X/%08X], H: %d\n", va, slot, slot0, slot1, h);