Searched refs:GET_OFFSET_FREE_PTR (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/object/
A D	untyped.h	27 #define GET_OFFSET_FREE_PTR(base, offset) ((void *)(((word_t)(base)) + (offset))) macro
/seL4-master/src/object/
A D	untyped.c	262 clearMemory(GET_OFFSET_FREE_PTR(regionBase, offset), chunk); in resetUntypedCap()

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023