Searched defs:ddomain_controller_init (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/lib/driverkit/
H A Dddomain_client.c316 errval_t ddomain_controller_init(void) function

Completed in 189 milliseconds