| /barrelfish-2018-10-04/usr/acpi/ |
| H A D | acpi_main.c | 51 skb_add_fact("mem_region_type(%d,ram).", RegionType_Empty);
52 skb_add_fact("mem_region_type(%d,roottask).", RegionType_RootTask);
53 skb_add_fact("mem_region_type(%d,phyaddr).", RegionType_PhyAddr);
54 skb_add_fact("mem_region_type(%d,multiboot_module).", RegionType_Module);
55 skb_add_fact("mem_region_type(%d,platform_data).", RegionType_PlatformData);
|
| H A D | acpi_parse_madt.c | 105 err = skb_add_fact(SKB_SCHEMA_LOCAL_APIC, s->ProcessorId, s->Id, s->LapicFlags);
118 skb_add_fact("apic(%d,%d,%"PRIu32").", s->ProcessorId, s->Id,
131 skb_add_fact(SKB_SCHEMA_IO_APIC, s->Id, s->Address, s->GlobalIrqBase);
136 skb_add_fact("ioapic(%d,%"PRIu32",%"PRIu32").", s->Id, s->Address, s->GlobalIrqBase);
137 skb_add_fact("memory_region(%"PRIu32",%u,%zu, %u,%u).",
171 skb_add_fact(SKB_SCHEMA_INTERRUPT_OVERRIDE, s->Bus, s->SourceIrq, s->GlobalIrq,
233 return skb_add_fact(SKB_SCHEMA_NMI_SOURCE, e->IntiFlags, e->GlobalIrq);;
241 skb_add_fact("apic_nmi(%d,%d,%d).",s->ProcessorId, s->IntiFlags, s->Lint);
243 return skb_add_fact(SKB_SCHEMA_LOCAL_APIC_NMI, s->ProcessorId, s->IntiFlags,
251 return skb_add_fact(SKB_SCHEMA_LOCAL_APIC_OVERRID
[all...] |
| H A D | acpi.c | 142 skb_add_fact("rootbridge_address_window(addr(%u, %u, %u), mem(%"PRIuLPADDR", %"PRIuLPADDR")).",
279 skb_add_fact("fixed_memory(%"PRIuLPADDR",%"PRIuLPADDR").", range.min,
341 skb_add_fact("prt(addr(%"PRIu8", %"PRIu16", _), %"PRIu32", gsi(%"PRIu32")).",
363 skb_add_fact("prt(addr(%"PRIu8", %"PRIu16", _), %"PRIu32", pir(\"%s\")).",
406 skb_add_fact("pir(\"%s\", %u).",
420 skb_add_fact("pir(\"%s\", %"PRIu32").",
602 skb_add_fact("rootbridge(addr(%u,%u,%u),childbus(%u,%u),mem(%" PRIuPTR ",%" PRIuPTR ")).",
737 skb_add_fact("cpu_affinity(%d,%d,%"PRIu32").",
768 skb_add_fact("memory_affinity(%" PRIu64 ", %" PRIu64 ", %"PRIu32").",
824 skb_add_fact("node_distanc
[all...] |
| H A D | acpi_allocators.c | 164 skb_add_fact("memory_region(16'%" PRIxGENPADDR ",%u,%zu,%u,%tu).",
172 skb_add_fact("memory_region(16'%" PRIxGENPADDR ",%u,%zu,%u,%tu).",
|
| H A D | intel_vtd.c | 632 skb_add_fact("dmar_device(%d, %"PRIu8",%"PRIu8","
651 skb_add_fact("dmar_hardware_unit(%d, %"PRIu8", %"PRIu16", %"PRIu64").",
673 skb_add_fact("dmar_reserved_memory(%d, %"PRIu16", %"PRIu64", %"PRIu64").",
687 skb_add_fact("dmar_atsr(%d, %"PRIu8", %"PRIu16").", index, atsr->Flags, atsr->Segment);
703 skb_add_fact("dmar_rhsa(%"PRIu64", %"PRIu32").", rhsa->BaseAddress, rhsa->ProximityDomain);
713 skb_add_fact("dmar_andd(%"PRIu8", %s).", andd->DeviceNumber, andd->DeviceName);
730 skb_add_fact("dmar(%"PRIu8")", dmar->Flags);
845 skb_add_fact("vtd_enabled(%"PRIu16",%"PRIu8").", u->pci_seg, vtd_coherency(u));
|
| /barrelfish-2018-10-04/usr/acpi/arch/armv8/ |
| H A D | acpi_interrupts_arch.c | 180 skb_add_fact("generic_interrupt(%"PRIu64",%"PRIu64",%"PRIu64",%"PRIu64",%d,%d).",
186 skb_add_fact("boot_driver_entry(%"PRIu64",%s).", gi->ArmMpidr,
190 skb_add_fact("boot_driver_entry(%"PRIu64",%s).", gi->ArmMpidr,
224 skb_add_fact("generic_distributor(%"PRIu64",%d,%d,%d).",
237 skb_add_fact("generic_msi_frame(%"PRIu64",%d,%d,%d,%d).",
248 skb_add_fact("generic_redistributor(%"PRIu64",%d).",
258 skb_add_fact("generic_translator(%"PRIu64",%d).",
|
| H A D | acpi_arch.c | 83 err = skb_add_fact("mem_region_type(%d,gic).", RegionType_GIC);
88 return skb_add_fact("mem_region_type(%d,gicd).", RegionType_GIC_DIST);
|
| /barrelfish-2018-10-04/usr/tests/skb_tests/ |
| H A D | cap_storage.c | 22 err = skb_add_fact("y(x(%s, %d)).", "test", 1);
57 err = skb_add_fact("cap(frame(%s, p(%"PRIuGENPADDR", %Q))).", "cap1", f1.base, c1);
63 err = skb_add_fact("cap(frame(%s, p(%"PRIuGENPADDR", %Q))).", "cap2", f2.base, c2);
|
| /barrelfish-2018-10-04/usr/acpi/arch/x86/ |
| H A D | acpi_arch.c | 123 err = skb_add_fact("mem_region_type(%d,apic).", RegionType_LocalAPIC);
128 return skb_add_fact("mem_region_type(%d,ioapic).", RegionType_IOAPIC);
|
| H A D | acpi_interrupts_arch.c | 200 skb_add_fact("memory_region(%" PRIu32 ",%u,%zu, %u,%u).",
245 skb_add_fact("apic(%d,%d,%"PRIu32").",
264 skb_add_fact("ioapic(%d,%"PRIu32",%"PRIu32").", s->Id, s->Address, s->GlobalIrqBase);
265 skb_add_fact("memory_region(%"PRIu32",%u,%zu, %u,%u).",
302 skb_add_fact("interrupt_override(%d,%d,%"PRIu32",%d).",
362 skb_add_fact("apic_nmi(%d,%d,%d).",s->ProcessorId, s->IntiFlags,
|
| /barrelfish-2018-10-04/include/skb/ |
| H A D | skb.h | 20 errval_t skb_add_fact(char *fmt, ...) __attribute__((format(printf, 1, 2)));
|
| /barrelfish-2018-10-04/usr/skb/measurement/ |
| H A D | datagatherer.c | 77 err = skb_add_fact("datagatherer_done.");
79 USER_PANIC_ERR(err, "skb_add_fact failed");
|
| H A D | rtt_data.c | 43 skb_add_fact("message_rtt(%lu, %lu, %lu, %lu, %lu, %lu).",
56 skb_add_fact("message_rtt(%lu, %lu, %lu, %lu, %lu, %lu).",
|
| /barrelfish-2018-10-04/usr/pci/ |
| H A D | pcimain.c | 151 skb_add_fact("pci_discovery_done.");
|
| H A D | pci.c | 674 skb_add_fact("bridge(%s,addr(%u,%u,%u),%u,%u,%u,%u,%u, secondary(%hhu)).",
709 skb_add_fact("device(%s,addr(%u,%u,%u),%u,%u,%u, %u, %u, %d).",
877 skb_add_fact("device(%s,addr(%u,%u,%u),%u,%u,%u, %u, %u, %d).",
982 skb_add_fact("bar(addr(%u, %u, %u), %d, 16'%"PRIxPCIADDR", "
999 skb_add_fact("bar(addr(%u, %u, %u), %d, 16'%"PRIx32", 16'%"
1236 skb_add_fact("bar(addr(%u, %u, %u), %d, 16'%"PRIxPCIADDR", "
1251 skb_add_fact("bar(addr(%u, %u, %u), %d, 16'%"PRIx32", 16'%" PRIx32
1264 skb_add_fact("bar(addr(%u, %u, %u), %d, 16'%"PRIx32", 16'%" PRIx32 ", io, "
|
| /barrelfish-2018-10-04/lib/skb/ |
| H A D | skb_functions.c | 77 errval_t skb_add_fact(char *fmt, ...) function
94 SKB_DEBUG("skb_add_fact(): %s\n", buffer);
|
| /barrelfish-2018-10-04/usr/kaluga/ |
| H A D | start_cpu.c | 141 skb_add_fact("corename(%"PRIu64", %s, apic(%"PRIu64")).",
|