Searched refs:unbox (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libsel4debug/src/
H A Dalloc.c142 static void *unbox(void *ptr, void *ret_addr) function
259 ptr = unbox(ptr, ret);
290 ptr = unbox(ptr, ret);
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/
H A Dalloc.c142 static void *unbox(void *ptr, void *ret_addr) function
259 ptr = unbox(ptr, ret);
290 ptr = unbox(ptr, ret);

Completed in 24 milliseconds