/barrelfish-master/usr/acpi/ |
H A D | acpi_debug.h | 21 #define ACPI_DEBUG(x...) printf("acpi_service: " x) macro 23 #define ACPI_DEBUG(x...) ((void)0) macro
|
H A D | acpi.c | 94 ACPI_DEBUG("Warning: ignoring zero-length address resource\n"); 101 ACPI_DEBUG("Warning: Treating non-fixed address range resource as fixed\n"); 113 ACPI_DEBUG("PCI mem range %lx-%lx granularity 0x%lx translation offset " 141 ACPI_DEBUG("mem range overlaps reserved space [%lx,%lx], truncated" 277 ACPI_DEBUG("fixed memory resource claimed: 0x%"PRIxLPADDR"-%"PRIxLPADDR"\n", 321 ACPI_DEBUG("No name found: %s\n", AcpiFormatException(as)); 330 ACPI_DEBUG("No PCI IRQ routing table for (%s) bus %"PRIu8": %s\n", namebuf, bus, AcpiFormatException(as)); 334 ACPI_DEBUG("PCI IRQ routing table for (%s) bus %"PRIu8":\n", namebuf, bus); 339 ACPI_DEBUG(" device %u pin %"PRIu32" %s (index %"PRIu32")\n", 353 ACPI_DEBUG(" faile [all...] |
H A D | acpi_allocators.c | 44 ACPI_DEBUG("acpi: initializing allocators\n"); 49 ACPI_DEBUG("acpi: obtaining boot info...\n"); 73 ACPI_DEBUG("acpi: boot info mapped [%p..%p]\n", bootinfo, 77 ACPI_DEBUG("acpi: setup slot allocator with %" PRIu64 " slots\n", L2_CNODE_SLOTS); 90 ACPI_DEBUG("acpi: setup memory manager for physaddr region\n"); 108 ACPI_DEBUG("acpi: REFILL=%p %p\n", slot_refill_dynamic, pci_mm_physaddr.slot_refill); 116 ACPI_DEBUG("acpi: obtaining CNODE containing physaddr caps\n"); 141 ACPI_DEBUG("acpi: creating L2 cnode for device caps\n"); 155 ACPI_DEBUG("acpi: walking boot info to obtain the device regions\n"); 161 // ACPI_DEBUG("acp [all...] |
H A D | acpi_parse_madt.c | 99 ACPI_DEBUG("Found local APIC: CPU = %d, ID = %d, usable = %d\n", 130 ACPI_DEBUG(SKB_SCHEMA_IO_APIC, s->Id, s->Address, s->GlobalIrqBase); 133 ACPI_DEBUG("Found I/O APIC: ID = %d, mem base = 0x%"PRIx32", " 154 ACPI_DEBUG("Added ioapic ctrl, lbl=%s\n",ioapic_lbl); 168 ACPI_DEBUG(SKB_SCHEMA_INTERRUPT_OVERRIDE, s->Bus, s->SourceIrq, s->GlobalIrq, 174 ACPI_DEBUG("Found interrupt override: bus = %d, bus_irq = %d, " 190 ACPI_DEBUG("Warning: unknown IOAPIC for GSI %"PRIu32", ignored" 231 ACPI_DEBUG(SKB_SCHEMA_NMI_SOURCE, e->IntiFlags, e->GlobalIrq); 238 ACPI_DEBUG(SKB_SCHEMA_LOCAL_APIC_NMI, s->ProcessorId, s->IntiFlags, s->Lint); 249 ACPI_DEBUG(SKB_SCHEMA_LOCAL_APIC_OVERRID [all...] |
H A D | acpi_service.c | 30 ACPI_DEBUG("mm_alloc_range_proxy_handler: sizebits: %d, minbase: 0x%lx maxlimit: 0x%lx\n", 47 ACPI_DEBUG("mm_realloc_range_proxy_handler: sizebits: %d, " 65 ACPI_DEBUG("mm_free_proxy_handler: base: 0x%"PRIx64", sizebits: %d\n", base, sizebits); 95 ACPI_DEBUG("get_pcie_confspace\n"); 106 ACPI_DEBUG( 116 ACPI_DEBUG("No MCFG table found -> no PCIe enhanced configuration\n"); 136 ACPI_DEBUG("read_irq_table: (parent)%s, (%"PRIu8",%"PRIu8",%"PRIu8"), %"PRIu8"\n", 149 ACPI_DEBUG("get_irq_table failed.\n"); 155 ACPI_DEBUG("Sending back path name: %s\n", name); 162 ACPI_DEBUG("Unknow [all...] |
H A D | acpi_ec.c | 139 ACPI_DEBUG("EC: error 0x%"PRIx32" in query method %s\n", as, method); 179 ACPI_DEBUG("error 0x%"PRIx32" in EC space handler\n", as); 216 ACPI_DEBUG("_GPE failed: 0x%"PRIx32"\n", as); 231 ACPI_DEBUG("_GPE returned unexpected object type %"PRIu32"\n", obj->Type); 244 ACPI_DEBUG("error calling _CRS\n"); 262 ACPI_DEBUG("unhandled EC resource type %"PRIu32"\n", resource->Type); 271 ACPI_DEBUG("insufficient IO ports included in EC resource set\n"); 293 ACPI_DEBUG("Failed to set GPE %"PRIu64" type: 0x%"PRIx32"\n", gpe, as); 300 ACPI_DEBUG("Failed to enable GPE %"PRIu64": 0x%"PRIx32"\n", gpe, as); 333 ACPI_DEBUG("E [all...] |
H A D | pcilnk_controller_client.c | 66 ACPI_DEBUG("NYI"); 103 ACPI_DEBUG("Setting link device '%s' to GSI %"PRIu32"\n", device, irq); 108 ACPI_DEBUG(" failed lookup: %s\n", AcpiFormatException(as)); 117 ACPI_DEBUG(" failed getting _CRS: %s\n", AcpiFormatException(as)); 138 ACPI_DEBUG("NYI"); 150 ACPI_DEBUG(" failed setting current IRQ: %s\n", 166 ACPI_DEBUG("pcilnk add_mapping: label:%s, class:%s (%"PRIu64", %"PRIu64") to " 212 ACPI_DEBUG("add_mapping: GsiBase:%d, AcpiName:%s, port: %"PRIu64"\n",
|
H A D | acpi_main.c | 42 ACPI_DEBUG("\npcimain.c: Could not load pci_queries.pl.\n" 144 ACPI_DEBUG("acpi: connecting to the SKB...\n"); 150 ACPI_DEBUG("acpi: connecting to the SKB...\n"); 216 ACPI_DEBUG("####################### Entering message handler loop \n");
|
H A D | acpica_osglue.c | 558 ACPI_DEBUG("AcpiOsMapMemory where=0x%016lx, length=%lu\n", where, length); 570 ACPI_DEBUG("AcpiOsMapMemory: aligned request: 0x%" PRIxLPADDR "..0x%" 580 ACPI_DEBUG("%s: walk=0x%" PRIxLPADDR "...0x%" PRIxLPADDR ", region=0x%" 601 ACPI_DEBUG("%s: found region for request (new refcount=%d), " 633 ACPI_DEBUG("%s: using am_pages[%zu/%zu] = walk->caps[%zu/%zu] with paddr=0x%" 669 ACPI_DEBUG("%s: using am_pages[%zu/%zu] = walk->caps[%zu/%zu] with paddr=0x%" 694 ACPI_DEBUG("%s: Mapping %#"PRIxLPADDR" at %#"PRIxGENVADDR"\n", 697 ACPI_DEBUG("%s: Mapping %#"PRIxLPADDR" at %#"PRIxGENVADDR"\n", 708 ACPI_DEBUG("%s: allocating page for %#"PRIxLPADDR"\n", 723 ACPI_DEBUG(" [all...] |
H A D | acpi_parse_dmar.c | 85 ACPI_DEBUG(SKB_SCHEMA_DMAR_DEVSC "\n", unit_idx, type, dsc->EntryType, 197 ACPI_DEBUG("[dmar] [drhd] " SKB_SCHEMA_DMAR_HW_UNIT "\n", 279 ACPI_DEBUG("[dmar] [rmem] " SKB_SCHEMA_DMAR_RESERVED_MEMORY "\n", 315 ACPI_DEBUG("[dmar] [atsr] " SKB_SCHEMA_DMAR_ATSR "\n", 361 ACPI_DEBUG("[dmar] [rhsa] " SKB_SCHEMA_DMAR_RHSA "\n", 379 ACPI_DEBUG("[dmar] [andd] NYI! " SKB_SCHEMA_DMAR_ANDD "\n",
|
/barrelfish-master/usr/acpi/arch/x86/ |
H A D | video.c | 46 ACPI_DEBUG("%s: successfully enabled video output switching\n", namebuf); 55 ACPI_DEBUG("called %s._DOD ok\n", namebuf); 57 ACPI_DEBUG("error executing _DOD method on %s: 0x%"PRIx32"\n", namebuf, as); 65 ACPI_DEBUG("error executing _DCS method on %s: 0x%"PRIx32"\n", namebuf, as); 70 ACPI_DEBUG("%s: current video state is 0x%"PRIx64"\n", namebuf, retval); 81 ACPI_DEBUG("%s: successfully enabled video output\n", namebuf); 83 ACPI_DEBUG("%s: enabling video output failed: 0x%"PRIx32"\n", namebuf, as); 96 ACPI_DEBUG("Walking for video devices\n");
|
H A D | acpi_interrupts_arch.c | 149 ACPI_DEBUG("I/O APIC init failed!\n"); 192 ACPI_DEBUG("No MADT found in ACPI! Cannot initialize I/O APICs.\n"); 200 ACPI_DEBUG("Local APIC is at 0x%"PRIx32"\n", madt->Address); 209 ACPI_DEBUG("This system also has dual-8259As.\n"); 222 ACPI_DEBUG("Found local APIC: CPU = %d, ID = %d, usable = %d\n", 262 ACPI_DEBUG("Found I/O APIC: ID = %d, mem base = 0x%"PRIx32", " 283 ACPI_DEBUG("Added ioapic ctrl, lbl=%s\n",ioapic_lbl); 299 ACPI_DEBUG("Found interrupt override: bus = %d, bus_irq = %d, " 318 ACPI_DEBUG("Warning: unknown IOAPIC for GSI %"PRIu32", ignored" 360 ACPI_DEBUG("Foun [all...] |
H A D | acpi_arch.c | 47 ACPI_DEBUG("AcpiInitializeObjects failed\n"); 59 ACPI_DEBUG("Could not load irq_routing_new.pl.\n" 69 ACPI_DEBUG("Successfully loaded irq_routing_new.pl.\n"
|
H A D | ioapic.c | 53 ACPI_DEBUG("Warning: I/O APIC claims only to support a single interrupt!" 56 ACPI_DEBUG("I/O APIC supports %d interrupts\n", a->nintis);
|
H A D | ioapic_controller_client.c | 49 ACPI_DEBUG("ioapic add_mapping: label:%s, class:%s (port=%"PRIu64") to" 79 ACPI_DEBUG("ioapic_route_inti(irqbase=%d, inti=%d, dest_vec=%"PRIu64","
|
/barrelfish-master/usr/acpi/arch/armv8/ |
H A D | acpi_interrupts_arch.c | 42 ACPI_DEBUG("No MADT found in ACPI! Cannot initialize I/O APICs.\n"); 49 ACPI_DEBUG("MADT Revision: %u, Size=%u, OEM=%s\n", madt->Header.Revision, 234 ACPI_DEBUG("Found local APIC GENERIC MSI FRAME: BaseAddress=0x%016" 255 ACPI_DEBUG("Found local APIC GENERIC TRANSLATOR: TranslationId=%" 263 ACPI_DEBUG("Unknown subtable type %d\n", sh->Type); 281 ACPI_DEBUG("DONE: MADT Element %p / %p\n", p, (void *)madt + madt->Header.Length);
|
H A D | acpi_arch.c | 51 ACPI_DEBUG("Enabling full Object initialization... flags=%" PRIx32 "\n", 57 ACPI_DEBUG("AcpiInitializeObjects failed\n");
|
/barrelfish-master/lib/acpica/source/include/platform/ |
H A D | acfreebsd.h | 154 #ifdef ACPI_DEBUG
|
H A D | acnetbsd.h | 155 #ifdef ACPI_DEBUG 167 #endif /* ACPI_DEBUG */
|
H A D | acdragonfly.h | 144 #ifdef ACPI_DEBUG
|