Searched defs:GET_OFFSET_FREE_PTR (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/object/ | ||
| H A D | untyped.h | 32 #define GET_OFFSET_FREE_PTR(base, offset) ((void *)(((word_t)(base)) + (offset))) macro |
Completed in 80 milliseconds