Searched refs:khint32_t (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/
H A Dpicoserver_client.h33 khint32_t bump_index; // Used to help keep track of the next free socket FD
H A Dkhash.h135 typedef unsigned int khint32_t; typedef
137 typedef unsigned long khint32_t; typedef
162 typedef khint32_t khint_t;
204 khint32_t *flags; \
233 memset(h->flags, 0xaa, __ac_fsize(h->n_buckets) * sizeof(khint32_t)); \
253 khint32_t *new_flags = 0; \
260 new_flags = (khint32_t*)kmalloc(__ac_fsize(new_n_buckets) * sizeof(khint32_t)); \
262 memset(new_flags, 0xaa, __ac_fsize(new_n_buckets) * sizeof(khint32_t)); \
379 @param key The integer [khint32_t]
[all...]
H A Dpicoserver_client.c25 static khint32_t find_free_id(seL4_Word client_id)
28 khint32_t curr = clients[client_id]->bump_index;
29 khint32_t old_index = curr;
37 if (curr == (khint32_t) INT_MIN) {
105 khint32_t free_id = find_free_id(client_id);

Completed in 40 milliseconds