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

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DSignal.sml27 structure Signal: SIGNAL = structure
H A DPosix.sml554 structure Signal : POSIX_SIGNAL structure
591 where type Signal.signal = int type
729 structure Signal = structure
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dlocking.cpp237 void PCondVar::Signal(void) function in class:PCondVar
319 void PSemaphore::Signal(void) function in class:PSemaphore

Completed in 160 milliseconds