Searched refs:endpoint_state (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/include/object/ | ||
| A D | structures.h | 41 enum endpoint_state { enum |
| /seL4-master/ | ||
| A D | gdb-macros | 174 print ((enum endpoint_state)($ep.words[0] & 0x3)) |
Completed in 4 milliseconds