Searched defs:node (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/smp/ | ||
| A D | lock.h | 34 clh_qnode_t *node; member |
| /seL4-master/libsel4/tools/ | ||
| A D | syscall_stub_gen.py | 221 def __init__(self, node): argument |
Completed in 15 milliseconds