Searched refs:cbpool_check_single (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ |
| H A D | cbpool.h | 37 bool cbpool_check_single(cbpool_t *p, uint32_t obj);
|
| /seL4-refos-master/libs/libdatastruct/include/data_struct/ |
| H A D | cbpool.h | 37 bool cbpool_check_single(cbpool_t *p, uint32_t obj);
|
| /seL4-refos-master/libs/librefossys/src/refos-io/ |
| H A D | mmap_segment.c | 47 if (cbpool_check_single(&s->mmapRegionSegmentStatus, segmentID)) {
105 if (!cbpool_check_single(&s->mmapRegionSegmentStatus, segmentID)) {
113 if (cbpool_check_single(&s->mmapRegionPageStatus, page)) {
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
| H A D | mmap_segment.c | 47 if (cbpool_check_single(&s->mmapRegionSegmentStatus, segmentID)) {
105 if (!cbpool_check_single(&s->mmapRegionSegmentStatus, segmentID)) {
113 if (cbpool_check_single(&s->mmapRegionPageStatus, page)) {
|
| /seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
| H A D | cbpool.c | 54 if (!cbpool_check_single(p, i)) {
85 bool cbpool_check_single(cbpool_t *p, uint32_t obj) { function
|
| /seL4-refos-master/libs/libdatastruct/src/ |
| H A D | cbpool.c | 54 if (!cbpool_check_single(p, i)) {
85 bool cbpool_check_single(cbpool_t *p, uint32_t obj) { function
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
| H A D | test.c | 189 test_assert(cbpool_check_single(&p, i + j) == true);
198 test_assert(cbpool_check_single(&p, i) == true);
200 test_assert(cbpool_check_single(&p, i) == false);
202 test_assert(cbpool_check_single(&p, i) == true);
|
| /seL4-refos-master/apps/process_server/src/test/ |
| H A D | test.c | 189 test_assert(cbpool_check_single(&p, i + j) == true);
198 test_assert(cbpool_check_single(&p, i) == true);
200 test_assert(cbpool_check_single(&p, i) == false);
202 test_assert(cbpool_check_single(&p, i) == true);
|
Completed in 103 milliseconds