Searched refs:skb_read_error_code (Results 1 - 7 of 7) sorted by relevance

/barrelfish-2018-10-04/include/skb/
H A Dskb.h34 int skb_read_error_code(void);
57 debug_printf("skb errcode:%d\n", skb_read_error_code()); \
65 debug_printf("skb errcode:%d\n", skb_read_error_code()); \
/barrelfish-2018-10-04/usr/skb/testapps/
H A Dmap.c52 while (skb_read_error_code() == SKB_PROCESSING) messages_wait_and_handle_next();
53 if (skb_read_error_code() == 0) {
58 if (skb_read_error_code() == 0) {
61 printf("\nerror code = %d\n", skb_read_error_code());
218 while (skb_read_error_code() == SKB_PROCESSING) messages_wait_and_handle_next();
219 printf("\nerror code = %d\n", skb_read_error_code());
/barrelfish-2018-10-04/usr/acpi/
H A Dacpi_main.c43 errval_t err = skb_read_error_code();
/barrelfish-2018-10-04/usr/pci/
H A Dpcimain.c143 while (skb_read_error_code() == SKB_PROCESSING) messages_wait_and_handle_next();
H A Dpci.c1456 error_code = skb_read_error_code();
1483 error_code = skb_read_error_code();
1501 while (skb_read_error_code() == SKB_PROCESSING) messages_wait_and_handle_next();
1508 int error_code = skb_read_error_code();
1527 while (skb_read_error_code() == SKB_PROCESSING) messages_wait_and_handle_next();
1534 error_code = skb_read_error_code();
/barrelfish-2018-10-04/lib/skb/
H A Dskb_functions.c38 int skb_read_error_code(void) function
/barrelfish-2018-10-04/usr/acpi/arch/x86/
H A Dacpi_interrupts_arch.c484 err = skb_read_error_code();

Completed in 61 milliseconds