Searched refs:r64 (Results 1 – 1 of 1) sorted by relevance
1448 unsigned long r64; in phb_tce_table_init() local1474 r64 = *(((unsigned long *)phb->chip_regs) + in phb_tce_table_init()1476 PPCDBG(PPCDBG_TCEINIT, "\tNCFG = 0x%lx\n", r64); in phb_tce_table_init()1477 r64 = *(((unsigned long *)phb->chip_regs) + in phb_tce_table_init()1479 PPCDBG(PPCDBG_TCEINIT, "\tTAR0 = 0x%lx\n", r64); in phb_tce_table_init()1480 r64 = *(((unsigned long *)phb->chip_regs) + in phb_tce_table_init()1482 PPCDBG(PPCDBG_TCEINIT, "\tTAR1 = 0x%lx\n", r64); in phb_tce_table_init()1483 r64 = *(((unsigned long *)phb->chip_regs) + in phb_tce_table_init()1485 PPCDBG(PPCDBG_TCEINIT, "\tTAR2 = 0x%lx\n", r64); in phb_tce_table_init()1486 r64 = *(((unsigned long *)phb->chip_regs) + in phb_tce_table_init()[all …]