/barrelfish-2018-10-04/usr/kaluga/ |
H A D | armv8.c | 83 err = skb_execute_query("[plat_fvp]."); 95 err = skb_execute_query("[plat_qemu]."); 107 err = skb_execute_query("[plat_apm88xxxx]."); 119 err = skb_execute_query("[plat_cn88xx]."); 143 err = skb_execute_query("[%s].", add_device_db_file);
|
H A D | armv7.c | 123 err = skb_execute_query("[%s].", add_device_db_file); 130 err = skb_execute_query("decoding_net(N),load_net(N)."); 135 err = skb_execute_query("decoding_net_meta(M),load_net(M)."); 140 err = skb_execute_query("decoding_net_irq(N),load_net(N)."); 146 err = skb_execute_query("decoding_net_irq_meta(M),load_net(M)."); 168 err= skb_execute_query("arm_mpids(L) ,write(L).");
|
H A D | start_decnet.c | 35 errval_t err = skb_execute_query("find_dn_driver('%s',R),write(R)", device); 78 err = skb_execute_query("dn_driver{module:\"%s\",device_regions:D}," 100 err = skb_execute_query("dn_driver{module:\"%s\",device_interrupts:Ids},"
|
H A D | x86.c | 44 err = skb_execute_query("isa_irq_to_int(%d,N), writeln(N).", SERIAL_IRQ); 46 DEBUG_SKB_ERR(err, "skb_execute_query"); 84 err = skb_execute_query("isa_irq_to_int(%d,N), writeln(N).", LPC_TIMER_IRQ); 137 err = skb_execute_query("[%s].", add_device_db_file);
|
H A D | start_int_ctrl.c | 86 err = skb_execute_query(query, label);
|
H A D | start_pci.c | 261 //err = skb_execute_query("get_pci_legacy_int_range(addr(%"PRIu8",%"PRIu8",%"PRIu8"),Li)," 263 err = skb_execute_query( 279 err = skb_execute_query( 373 err = skb_execute_query(query, id.vendor, id.device);
|
/barrelfish-2018-10-04/usr/tests/skb_tests/ |
H A D | cap_storage.c | 26 err = skb_execute_query("y(L),write(L)."); 70 err = skb_execute_query("cap(frame(cap1, A)),writeln(A)."); 89 err = skb_execute_query("cap(frame(cap2, A)),write(A)");
|
/barrelfish-2018-10-04/usr/acpi/arch/x86/ |
H A D | ioapic_controller_client.c | 64 err = skb_execute_query("corename(%"PRIu64",_,apic(A)),writeln(A).", to.port); 112 err = skb_execute_query("corename(0,_,apic(A)),writeln(A).");
|
/barrelfish-2018-10-04/include/skb/ |
H A D | skb.h | 39 errval_t skb_execute_query(char *fmt, ...) __attribute__((format(printf, 1, 2)));
|
/barrelfish-2018-10-04/usr/acpi/arch/armv8/ |
H A D | acpi_arch.c | 40 err = skb_execute_query("acpi_quirk(AcpiInitializeObjects, T), write(res(T))."); 48 DEBUG_SKB_ERR(err, "skb_execute_query");
|
/barrelfish-2018-10-04/usr/skb/measurement/ |
H A D | datagatherer.c | 85 skb_execute_query("findall(X, datagatherer_done, L),length(L,Len),write(Len).");
|
/barrelfish-2018-10-04/usr/drivers/solarflare/ |
H A D | helper.c | 55 err = skb_execute_query("corename(%d,_,apic(ApicID)),write(ApicID).",
|
/barrelfish-2018-10-04/usr/bench/net_latency/ |
H A D | main.c | 28 r = skb_execute_query("local_memory_affinity(%d, B, L),"
|
/barrelfish-2018-10-04/usr/drivers/e10k/ |
H A D | helper.c | 66 err = skb_execute_query("corename(%d,_,apic(ApicID)),write(ApicID).",
|
/barrelfish-2018-10-04/lib/devif/backends/net/e10k/ |
H A D | helper.c | 66 err = skb_execute_query("corename(%d,_,apic(ApicID)),write(ApicID).",
|
/barrelfish-2018-10-04/usr/pci/ |
H A D | pci_int_ctrl.c | 40 err = skb_execute_query("pci_lbl_addr(%s, addr(Bus,Dev,Fun)),"
|
H A D | pci.c | 283 error_code = skb_execute_query( 322 error_code = skb_execute_query("pci_get_implemented_BAR_addresses(%"PRIu32 433 error_code = skb_execute_query(
|
/barrelfish-2018-10-04/usr/acpi/ |
H A D | pcilnk_controller_client.c | 173 err = skb_execute_query("pcilnk_index(AcpiName, %s), writeln(AcpiName).", label); 201 err = skb_execute_query("findall(X,pir(\"%s\",X),LiU), sort(LiU,Li), Li=[X|_]," 204 DEBUG_SKB_ERR(err, "skb_execute_query failed.");
|
H A D | intel_vtd.c | 549 err = skb_execute_query("dmar_devices(L),""length(L,Len),writeln(L)"); 567 err = skb_execute_query("bridge(PCIE,addr(%d,%d,%d),_,_,_,_,_,secondary(BUS))," 625 err = skb_execute_query("dmar_device(%d, %"PRIu8",%"PRIu8"," 774 err = skb_execute_query("pcie_bridges(L),length(L,Len),writeln(L)"); 787 err = skb_execute_query("find_devices(L),length(L,Len),writeln(L)");
|
/barrelfish-2018-10-04/usr/mem_serv_dist/ |
H A D | skb.c | 82 int myerr = skb_execute_query("local_memory_affinity(%d, Limit), "
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 111 err = skb_execute_query("cpu_driver(S), write(res(S))."); 113 DEBUG_SKB_ERR(err, "skb_execute_query"); 120 err = skb_execute_query("monitor(S), write(res(S))."); 122 DEBUG_SKB_ERR(err, "skb_execute_query"); 128 err = skb_execute_query("boot_driver_entry(%"PRIu64",T), entry_symbol(T,S)," 141 err = skb_execute_query("boot_driver(S), write(res(S))."); 152 err = skb_execute_query("psci_use_hvc(C), write(C).");
|
/barrelfish-2018-10-04/lib/skb/ |
H A D | skb_functions.c | 108 errval_t skb_execute_query(char *fmt, ...) function
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/ |
H A D | boot_arch.c | 486 err= skb_execute_query("arm_core(%d,T), cpu_driver(T,S), write(res(S)).", 489 DEBUG_SKB_ERR(err, "skb_execute_query"); 496 err= skb_execute_query("arm_core(%d,T), monitor(T,S), write(res(S)).", 499 DEBUG_SKB_ERR(err, "skb_execute_query");
|
/barrelfish-2018-10-04/lib/numa/ |
H A D | utilities.c | 107 err = skb_execute_query("get_system_topology(Nnodes,Ncores,Lnodes,Lcores,Llocalities),"
|
/barrelfish-2018-10-04/doc/015-disk-driver-arch/ |
H A D | running.tex | 56 error_code = skb_execute_query(
|