Searched refs:skb_get_error_output (Results 1 - 10 of 10) sorted by relevance
| /barrelfish-2018-10-04/usr/acpi/arch/x86/ |
| H A D | acpi_arch.c | 66 skb_get_output(), skb_get_error_output());
68 } else if(strstr(skb_get_error_output(), "library not found") != NULL) {
71 skb_get_output(), skb_get_error_output());
76 skb_get_output(), skb_get_error_output());
|
| H A D | acpi_interrupts_arch.c | 488 skb_get_output(), skb_get_error_output());
|
| /barrelfish-2018-10-04/include/skb/ |
| H A D | skb.h | 36 char *skb_get_error_output(void);
59 debug_printf("skb stderr:%s\n", skb_get_error_output()); \
67 debug_printf("skb stderr:%s\n", skb_get_error_output()); \
|
| /barrelfish-2018-10-04/usr/acpi/ |
| H A D | acpi_main.c | 47 skb_get_output(), skb_get_error_output());
|
| /barrelfish-2018-10-04/usr/pci/ |
| H A D | pcimain.c | 145 const char *errout = skb_get_error_output();
|
| H A D | pci.c | 295 PCI_DEBUG("SKB error returned: %s\n", skb_get_error_output());
311 skb_get_error_output());
333 PCI_DEBUG("SKB error returned: %s\n", skb_get_error_output());
447 PCI_DEBUG("SKB error returned: %s\n", skb_get_error_output());
462 PCI_DEBUG("device_init(): SKB error returned: %s\n", skb_get_error_output());
1461 const char *errout = skb_get_error_output();
1488 const char *errout = skb_get_error_output();
1513 const char *errout = skb_get_error_output();
1539 const char *errout = skb_get_error_output();
|
| /barrelfish-2018-10-04/usr/skb/measurement/ |
| H A D | cpuid.c | 62 DEBUG_ERR(err, "cpuid__vendor__add: %s", skb_get_error_output());
|
| /barrelfish-2018-10-04/lib/skb/ |
| H A D | skb_functions.c | 48 char *skb_get_error_output(void) function
169 printf("SKB returned: %s\nSKB error: %s\n", skb_get_output(), skb_get_error_output());
|
| /barrelfish-2018-10-04/usr/skb/testapps/ |
| H A D | map.c | 62 printf("\nerror output = %s\n", skb_get_error_output());
221 printf("\nerror output = %s\n", skb_get_error_output());
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/ |
| H A D | boot_arch.c | 131 printf("error: \n %s\n", skb_get_error_output());
143 printf("error: \n %s\n", skb_get_error_output());
154 printf("error: \n %s\n", skb_get_error_output());
|
Completed in 80 milliseconds