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

/seL4-refos-master/libs/libsel4vka/src/
H A Ddebug-vka.c50 /* Metadata related to currently live objects. The live_objs list contains
59 } *live_objs; member in struct:__anon644
189 if (state->live_objs[i].cookie == cookie) {
192 } else if (available == i && state->live_objs[i].cookie != 0) {
201 state->live_objs[available].type = type;
202 state->live_objs[available].size_bits = size_bits;
203 state->live_objs[available].cookie = cookie;
271 if (state->live_objs[i].cookie == cookie) {
272 if (state->live_objs[i].type != type) {
274 "with type %d", (int)type, (int)state->live_objs[
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c50 /* Metadata related to currently live objects. The live_objs list contains
59 } *live_objs; member in struct:__anon810
189 if (state->live_objs[i].cookie == cookie) {
192 } else if (available == i && state->live_objs[i].cookie != 0) {
201 state->live_objs[available].type = type;
202 state->live_objs[available].size_bits = size_bits;
203 state->live_objs[available].cookie = cookie;
271 if (state->live_objs[i].cookie == cookie) {
272 if (state->live_objs[i].type != type) {
274 "with type %d", (int)type, (int)state->live_objs[
[all...]

Completed in 28 milliseconds