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

/seL4-master/include/object/
A D	untyped.h	26 #define GET_FREE_INDEX(base,free) (((word_t)(free) - (word_t)(base))>>seL4_MinUntypedBits) macro
/seL4-master/src/object/
A D	untyped.c	299 GET_FREE_INDEX(regionBase, freeRef)); in invokeUntyped_Retype()

Completed in 3 milliseconds

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