Searched refs:skb_execute (Results 1 - 15 of 15) sorted by relevance
/barrelfish-2018-10-04/usr/listfacts/ |
H A D | main.c | 45 err = skb_execute("listing.");
|
/barrelfish-2018-10-04/usr/acpi/ |
H A D | acpi_main.c | 42 skb_execute("[pci_queries]."); 155 err = skb_execute("retractall(interrupt_override(_,_,_,_)).");
|
H A D | acpi_parse_madt.c | 149 err = skb_execute(query_buf);
|
/barrelfish-2018-10-04/usr/kaluga/ |
H A D | armv8.c | 37 err = skb_execute("[device_db]."); 137 err = skb_execute("[device_db].");
|
H A D | armv7.c | 118 err = skb_execute("[device_db].");
|
H A D | x86.c | 86 DEBUG_SKB_ERR(err, "skb_execute"); 132 err = skb_execute("[device_db].");
|
/barrelfish-2018-10-04/include/skb/ |
H A D | skb.h | 38 errval_t skb_execute(char *goal);
|
/barrelfish-2018-10-04/usr/acpi/arch/x86/ |
H A D | acpi_arch.c | 62 err = skb_execute("[irq_routing_new].");
|
H A D | acpi_interrupts_arch.c | 277 err = skb_execute(query_buf); 483 skb_execute("add_x86_controllers.");
|
/barrelfish-2018-10-04/lib/skb/ |
H A D | skb_functions.c | 58 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 D | pcimain.c | 142 skb_execute("listing.");
|
H A D | pci.c | 1449 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 D | map.c | 51 skb_execute("cache(_,_,1,data,_,_,LineSize,_),write(output,LineSize)."); 217 skb_execute(query);
|
H A D | threadalloc.c | 200 err = skb_execute("available_nr_cores(Nr),write(nrcores(Nr)).");
|
/barrelfish-2018-10-04/lib/int_route/server/ |
H A D | init.c | 286 err = skb_execute(query);
|
Completed in 92 milliseconds