Searched defs:init_rwsem (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ | ||
H A D | semaphore.h | 88 static inline void init_rwsem(struct rw_semaphore *sem) function |
Completed in 29 milliseconds