|
@@ -143,8 +143,8 @@ void nmi_dump_hub_irq(nasid_t nasid, int slice)
|
|
|
pend0 = REMOTE_HUB_L(nasid, PI_INT_PEND0);
|
|
|
pend1 = REMOTE_HUB_L(nasid, PI_INT_PEND1);
|
|
|
|
|
|
- printk("PI_INT_MASK0: %16lx PI_INT_MASK1: %16lx\n", mask0, mask1);
|
|
|
- printk("PI_INT_PEND0: %16lx PI_INT_PEND1: %16lx\n", pend0, pend1);
|
|
|
+ printk("PI_INT_MASK0: %16Lx PI_INT_MASK1: %16Lx\n", mask0, mask1);
|
|
|
+ printk("PI_INT_PEND0: %16Lx PI_INT_PEND1: %16Lx\n", pend0, pend1);
|
|
|
printk("\n\n");
|
|
|
}
|
|
|
|