taglinefilesource code
slot1560arch/ppc/mm/init.cPTE *slot0, *slot1;
slot1590arch/ppc/mm/init.cslot1 = _pte;
slot1618arch/ppc/mm/init.cprintk("Map VA: %08X, Slot: %08X[%08X/%08X], H: %d\n", va, slot, slot0, slot1, h);
slot1626arch/ppc/mm/init.c_pte = slot1;
slot1648arch/ppc/mm/init.c_printk("Map VA: %08X, Slot: %08X[%08X/%08X], H: %d\n", va, slot, slot0, slot1, h);