Searched refs:NDM_DEBUG (Results 1 - 7 of 7) sorted by relevance
/barrelfish-2018-10-04/lib/net_device_manager/ |
H A D | device_manager_debug.h | 21 #define NDM_DEBUG(x...) printf("NDM: " x) macro 23 #define NDM_DEBUG(x...) ((void)0) macro
|
H A D | port_service_impl.c | 130 NDM_DEBUG("new application came in\n"); 136 NDM_DEBUG("error: malloc failed...\n"); 166 NDM_DEBUG("service [%s] exported at iref %u\n", service_name, iref); 175 NDM_DEBUG("export successful!\n"); 199 NDM_DEBUG("init_ports_service called for device [%s]\n", my_dev_name); 236 NDM_DEBUG("res_port called\n"); 252 NDM_DEBUG("netd is out of memory.\n"); 292 NDM_DEBUG("res_port: waiting for response\n"); 317 NDM_DEBUG("get_port called\n"); 331 NDM_DEBUG("al [all...] |
H A D | soft_filt_cl_impl.c | 126 NDM_DEBUG("filter memory is busy.\n"); 136 NDM_DEBUG("get_port: trying to register the filter with id %" PRIu64 "\n", 156 NDM_DEBUG("soft_filters_bind_cb: started\n"); 161 NDM_DEBUG(" soft_filters_bind_cb: connection made," 163 NDM_DEBUG("soft_filters_bind_cb: terminated\n"); 171 NDM_DEBUG("c_sf_mng: connecting to dev [%s]\n", dev_name); 180 NDM_DEBUG("c_sf_mng: resolving service [%s]\n", service_name); 193 NDM_DEBUG("c_sf_mng: connecting\n"); 200 NDM_DEBUG("connect_to_ether_filter_manager: wait connection\n"); 206 NDM_DEBUG("c_sf_mn [all...] |
H A D | e10k_filt_cl_impl.c | 41 NDM_DEBUG("Sucessfully connected to management interface\n"); 73 NDM_DEBUG("e10_flt: init %s %d\n", dev_name, (int) qid); 83 NDM_DEBUG("e10k_init_filters: wait connection\n"); 106 NDM_DEBUG("e10k_reg_filters()\n"); 123 NDM_DEBUG("e10k_unreg_filters()\n");
|
H A D | sfn5122f_filt_cl_impl.c | 41 NDM_DEBUG("Sucessfully connected to management interface\n"); 73 NDM_DEBUG("sfn5122f_flt: init %s %d\n", dev_name, (int) qid); 83 NDM_DEBUG("sfn5122f_init_filters: wait connection\n"); 106 NDM_DEBUG("sfn5122f_reg_filters()\n"); 123 NDM_DEBUG("sfn5122f_unreg_filters()\n");
|
H A D | device_manager.c | 65 NDM_DEBUG("init_device_manager: called for dev[%s] with %"PRIu64" queues\n",
|
H A D | portalloc.c | 155 NDM_DEBUG("allocating port %u with type %d\n", port, type);
|
Completed in 42 milliseconds