Searched refs:procserv_nameserv_callback_free_cap (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c42 static void procserv_nameserv_callback_free_cap(seL4_CPtr cap);
107 nameserv_init(&s->nameServRegList, procserv_nameserv_callback_free_cap);
275 procserv_nameserv_callback_free_cap(seL4_CPtr cap) function
278 ROS_WARNING("procserv_nameserv_callback_free_cap called on NULL cap!");
/seL4-refos-master/apps/process_server/src/
H A Dstate.c42 static void procserv_nameserv_callback_free_cap(seL4_CPtr cap);
107 nameserv_init(&s->nameServRegList, procserv_nameserv_callback_free_cap);
275 procserv_nameserv_callback_free_cap(seL4_CPtr cap) function
278 ROS_WARNING("procserv_nameserv_callback_free_cap called on NULL cap!");

Completed in 31 milliseconds