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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/
H A Dsplit.h43 struct utspace_split_node *heads[CONFIG_WORD_SIZE]; member in struct:utspace_split
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dsplit.c129 static int _refill_pool(allocman_t *alloc, utspace_split_t *split, struct utspace_split_node **heads, size_t size_bits, argument
[all...]

Completed in 30 milliseconds