Searched refs:skb_execute (Results 1 - 15 of 15) sorted by relevance

/barrelfish-2018-10-04/usr/listfacts/
H A Dmain.c45 err = skb_execute("listing.");
/barrelfish-2018-10-04/usr/acpi/
H A Dacpi_main.c42 skb_execute("[pci_queries].");
155 err = skb_execute("retractall(interrupt_override(_,_,_,_)).");
H A Dacpi_parse_madt.c149 err = skb_execute(query_buf);
/barrelfish-2018-10-04/usr/kaluga/
H A Darmv8.c37 err = skb_execute("[device_db].");
137 err = skb_execute("[device_db].");
H A Darmv7.c118 err = skb_execute("[device_db].");
H A Dx86.c86 DEBUG_SKB_ERR(err, "skb_execute");
132 err = skb_execute("[device_db].");
/barrelfish-2018-10-04/include/skb/
H A Dskb.h38 errval_t skb_execute(char *goal);
/barrelfish-2018-10-04/usr/acpi/arch/x86/
H A Dacpi_arch.c62 err = skb_execute("[irq_routing_new].");
H A Dacpi_interrupts_arch.c277 err = skb_execute(query_buf);
483 skb_execute("add_x86_controllers.");
/barrelfish-2018-10-04/lib/skb/
H A Dskb_functions.c58 errval_t skb_execute(char *goal) function
102 err = skb_execute(buffer + len);
137 return skb_execute(buffer);
/barrelfish-2018-10-04/usr/pci/
H A Dpcimain.c142 skb_execute("listing.");
H A Dpci.c1449 skb_execute("listing.");
1476 skb_execute(bridge_program);
1500 skb_execute("[bridge_page].");
1521 skb_execute("bridge_programming(P, Nr),write(nrelements(Nr)),writeln(P).");
/barrelfish-2018-10-04/usr/skb/testapps/
H A Dmap.c51 skb_execute("cache(_,_,1,data,_,_,LineSize,_),write(output,LineSize).");
217 skb_execute(query);
H A Dthreadalloc.c200 err = skb_execute("available_nr_cores(Nr),write(nrcores(Nr)).");
/barrelfish-2018-10-04/lib/int_route/server/
H A Dinit.c286 err = skb_execute(query);

Completed in 92 milliseconds