Searched defs:get_obj_id (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Dbilbyfs.h631 static inline obj_id get_obj_id(void *obj) function

Completed in 30 milliseconds