Searched refs:PRIxPCIADDR (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/include/barrelfish/ |
| H A D | types.h | 50 #define PRIxPCIADDR PRIx64 macro
|
| /barrelfish-2018-10-04/usr/pci/ |
| H A D | pci.c | 174 PCI_DEBUG("mm_alloc_range() failed: bits = %hhu, base = %"PRIxPCIADDR","
175 " end = %"PRIxPCIADDR"\n", bits, base,
182 PCI_DEBUG("devframe_type() failed: bits = %hhu, base = %"PRIxPCIADDR
183 ", doba = %"PRIxPCIADDR"\n", bits, base, base + (1UL << bits));
347 PCI_DEBUG("device_init(): BAR %d: base = %"PRIxPCIADDR ", size = %"
975 PCI_DEBUG("(%u,%u,%u): 64bit BAR %d at 0x%" PRIxPCIADDR ", size %"
982 skb_add_fact("bar(addr(%u, %u, %u), %d, 16'%"PRIxPCIADDR", "
1226 PCI_DEBUG("(%u,%u,%u): 64bit BAR %d at 0x%" PRIxPCIADDR ", size %"
1231 PCI_DEBUG("(%u,%u,%u): 64bit BAR %d at 0x%" PRIxPCIADDR ", size %" PRIx64 ", %s\n",
1236 skb_add_fact("bar(addr(%u, %u, %u), %d, 16'%"PRIxPCIADDR", "
[all...] |
Completed in 84 milliseconds