Searched refs:SKB_DEBUG (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/usr/skb/include/
H A Dskb_debug.h25 #define SKB_DEBUG(x...) debug_printf(x) macro
27 #define SKB_DEBUG(x...) ((void)0) macro
/barrelfish-2018-10-04/lib/skb/
H A Dskb_internal.h27 #define SKB_DEBUG(x...) printf("skb_client: " x) macro
29 #define SKB_DEBUG(x...) ((void)0) macro
H A Dskb_functions.c94 SKB_DEBUG("skb_add_fact(): %s\n", buffer);
/barrelfish-2018-10-04/usr/skb/
H A Dskb_main.c74 SKB_DEBUG("before ec init\n");
77 SKB_DEBUG("skb_main: ec_init() failed. Return code = %d\n", n);
79 SKB_DEBUG("skb_main: ec_init() succeeded.\n");
128 SKB_DEBUG("skb initialized\n");
151 SKB_DEBUG("initialize eclipse\n");
155 SKB_DEBUG("skb_main: ec_init() failed.");
171 SKB_DEBUG("res = %d\n", res);
181 SKB_DEBUG("eclipse returned: %.*s", n, buf);
189 SKB_DEBUG("eclipse error returned: %.*s", n, buf);
H A Dskb_service.c110 SKB_DEBUG("Executing query: %s\n", query);

Completed in 42 milliseconds