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

/barrelfish-master/lib/driverkit/
H A Dmodules.c78 static void free_driver_instance(void* arg) { function
120 collections_list_create(&instances, free_driver_instance);
128 free_driver_instance(bfi2);
149 collections_list_create(&instances, free_driver_instance);
157 free_driver_instance(bfi2);
213 free_driver_instance(inst);
221 free_driver_instance(inst);
227 collections_list_create(&instances, free_driver_instance);

Completed in 89 milliseconds