Searched defs:synch_clear_bit (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ | ||
H A D | os.h | 515 static __inline__ void synch_clear_bit(int nr, volatile void * addr) function |
Completed in 94 milliseconds