|
@@ -87,7 +87,7 @@ void xr3pci_set_atr_entry(unsigned long base, unsigned long src_addr,
|
|
|
writel((u32)(trsl_addr >> 32), base + XR3PCI_ATR_TRSL_ADDR_HIGH);
|
|
|
writel(trsl_param, base + XR3PCI_ATR_TRSL_PARAM);
|
|
|
|
|
|
- printf("ATR entry: 0x%010lx %s 0x%010lx [0x%010llx] (param: 0x%06x)\n",
|
|
|
+ debug("ATR entry: 0x%010lx %s 0x%010lx [0x%010llx] (param: 0x%06x)\n",
|
|
|
src_addr, (trsl_param & 0x400000) ? "<-" : "->", trsl_addr,
|
|
|
((u64)1) << window_size, trsl_param);
|
|
|
}
|