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

/seL4-test-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c43 /* Metadata related to currently live CSlots. The live_slots list contains
47 seL4_CPtr *live_slots; member in struct:__anon453
97 if (state->live_slots[i] == slot) {
100 } else if (available == i && state->live_slots[i] != 0) {
110 state->live_slots[available] = slot;
133 if (state->live_slots[i] == slot) {
135 state->live_slots[i] = 0;
311 s->live_slots = NULL;
316 s->live_slots = (seL4_CPtr *)malloc(sizeof(seL4_CPtr) * live_slots_sz);
317 if (s->live_slots
[all...]

Completed in 30 milliseconds