Searched refs:skb_execute_query (Results 1 - 25 of 34) sorted by relevance

12

/barrelfish-2018-10-04/usr/kaluga/
H A Darmv8.c83 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 Darmv7.c123 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 Dstart_decnet.c35 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 Dx86.c44 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 Dstart_int_ctrl.c86 err = skb_execute_query(query, label);
H A Dstart_pci.c261 //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 Dcap_storage.c26 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 Dioapic_controller_client.c64 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 Dskb.h39 errval_t skb_execute_query(char *fmt, ...) __attribute__((format(printf, 1, 2)));
/barrelfish-2018-10-04/usr/acpi/arch/armv8/
H A Dacpi_arch.c40 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 Ddatagatherer.c85 skb_execute_query("findall(X, datagatherer_done, L),length(L,Len),write(Len).");
/barrelfish-2018-10-04/usr/drivers/solarflare/
H A Dhelper.c55 err = skb_execute_query("corename(%d,_,apic(ApicID)),write(ApicID).",
/barrelfish-2018-10-04/usr/bench/net_latency/
H A Dmain.c28 r = skb_execute_query("local_memory_affinity(%d, B, L),"
/barrelfish-2018-10-04/usr/drivers/e10k/
H A Dhelper.c66 err = skb_execute_query("corename(%d,_,apic(ApicID)),write(ApicID).",
/barrelfish-2018-10-04/lib/devif/backends/net/e10k/
H A Dhelper.c66 err = skb_execute_query("corename(%d,_,apic(ApicID)),write(ApicID).",
/barrelfish-2018-10-04/usr/pci/
H A Dpci_int_ctrl.c40 err = skb_execute_query("pci_lbl_addr(%s, addr(Bus,Dev,Fun)),"
H A Dpci.c283 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 Dpcilnk_controller_client.c173 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 Dintel_vtd.c549 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 Dskb.c82 int myerr = skb_execute_query("local_memory_affinity(%d, Limit), "
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/
H A Dboot_arch.c111 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 Dskb_functions.c108 errval_t skb_execute_query(char *fmt, ...) function
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/
H A Dboot_arch.c486 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 Dutilities.c107 err = skb_execute_query("get_system_topology(Nnodes,Ncores,Lnodes,Lcores,Llocalities),"
/barrelfish-2018-10-04/doc/015-disk-driver-arch/
H A Drunning.tex56 error_code = skb_execute_query(

Completed in 136 milliseconds

12