Searched refs:PCIIRQ_FMT (Results 1 – 2 of 2) sorted by relevance
54 #define PCIIRQ_FMT "%08x" macro56 #define PCIIRQ_FMT "%d" macro
902 printf("\tInterrupt: pin %c routed to IRQ " PCIIRQ_FMT "\n", in show_verbose()935 printf(", IRQ " PCIIRQ_FMT, p->irq); in show_verbose()