| 126,7 → 126,7 |
|---|
| |
| int madt_irq_to_pin(unsigned int irq) |
| { |
| ASSERT(irq < sizeof(isa_irq_map)/sizeof(int)); |
| ASSERT(irq < sizeof(isa_irq_map) / sizeof(int)); |
| return isa_irq_map[irq]; |
| } |
| |
| 184,15 → 184,15 |
|---|
| case MADT_IO_SAPIC: |
| case MADT_L_SAPIC: |
| case MADT_PLATFORM_INTR_SRC: |
| printf("MADT: skipping %s entry (type=%zd)\n", entry[h->type], h->type); |
| printf("MADT: skipping %s entry (type=%" PRIu8 ")\n", entry[h->type], h->type); |
| break; |
| |
| default: |
| if (h->type >= MADT_RESERVED_SKIP_BEGIN && h->type <= MADT_RESERVED_SKIP_END) { |
| printf("MADT: skipping reserved entry (type=%zd)\n", h->type); |
| printf("MADT: skipping reserved entry (type=%" PRIu8 ")\n", h->type); |
| } |
| if (h->type >= MADT_RESERVED_OEM_BEGIN) { |
| printf("MADT: skipping OEM entry (type=%zd)\n", h->type); |
| printf("MADT: skipping OEM entry (type=%" PRIu8 ")\n", h->type); |
| } |
| break; |
| } |
| 233,8 → 233,8 |
|---|
| |
| void madt_intr_src_ovrd_entry(struct madt_intr_src_ovrd *override, uint32_t index) |
| { |
| ASSERT(override->source < sizeof(isa_irq_map)/sizeof(int)); |
| printf("MADT: ignoring %s entry: bus=%zd, source=%zd, global_int=%zd, flags=%#hx\n", |
| ASSERT(override->source < sizeof(isa_irq_map) / sizeof(int)); |
| printf("MADT: ignoring %s entry: bus=%" PRIu8 ", source=%" PRIu8 ", global_int=%" PRIu32 ", flags=%#" PRIx16 "\n", |
| entry[override->header.type], override->bus, override->source, |
| override->global_int, override->flags); |
| } |