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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c335 static seL4_Error simple_camkes_get_iospace(void *data, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) { function
447 simple->iospace = &simple_camkes_get_iospace;

Completed in 27 milliseconds