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

/barrelfish-master/lib/barrelfish/
H A Didc.c19 void idc_init(void) function
H A Dinit.c329 idc_init();
/barrelfish-master/include/barrelfish/
H A Didc.h82 void idc_init(void);
/barrelfish-master/usr/mem_serv/
H A Dmem_serv.c597 idc_init();
/barrelfish-master/usr/monitor/
H A Dmonitor_server.c1087 idc_init();

Completed in 96 milliseconds