Searched defs:empty (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/tools/nanopb/tests/regression/issue_322/
H A Ddefaults.c36 pb_istream_t empty = {0,0,0}; local
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dregressions.c45 seL4_Word empty = 0; /* ignored */ local
/seL4-test-master/kernel/libsel4/include/sel4/
H A Dbootinfo_types.h63 seL4_SlotRegion empty; /* empty slots (null caps) */ member in struct:seL4_BootInfo

Completed in 150 milliseconds