Searched refs:empty (Results 1 - 17 of 17) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | bootinfo.c | 27 printf("Empty slots: [%lu --> %lu)\n", (long)info->empty.start, (long)info->empty.end);
|
| /seL4-test-master/tools/nanopb/tests/regression/issue_322/ |
| H A D | defaults.c | 36 pb_istream_t empty = {0,0,0}; local
37 pb_decode(&empty, DefaultsMsg_fields, &msg);
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | regressions.c | 45 seL4_Word empty = 0; /* ignored */ local
49 seL4_SendWithMRs(shared_endpoint, info, &empty);
51 seL4_SendWithMRs(shared_endpoint, info, &empty, &empty);
54 seL4_SendWithMRs(shared_endpoint, info, &empty, &empty, &empty, &empty);
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 62 allocman = bootstrap_use_current_1level(seL4_CapInitThreadCNode, bi->initThreadCNodeSizeBits, bi->empty.start, bi->empty.end, sizeof(initial_mem_pool), initial_mem_pool);
92 .first_slot = bi->empty.start,
93 .end_slot = bi->empty.end
155 .first_slot = bi->empty.start,
156 .end_slot = bi->empty.end - 1
223 .first_slot = bi->empty.start,
224 .end_slot = bi->empty.end - 1
|
| /seL4-test-master/kernel/libsel4/include/sel4/ |
| H A D | bootinfo_types.h | 63 seL4_SlotRegion empty; /* empty slots (null caps) */ member in struct:seL4_BootInfo
|
| /seL4-test-master/kernel/manual/ |
| H A D | manual.tex | 102 \thispagestyle{empty}
111 \thispagestyle{empty}
124 \thispagestyle{empty}
|
| /seL4-test-master/tools/riscv-pk/ |
| H A D | Makefile.in | 431 # "directory is not empty" error means distclean is not removing
|
| /seL4-test-master/kernel/manual/parts/ |
| H A D | bootup.tex | 103 \texttt{seL4\_SlotRegion} & \texttt{empty} & empty slots (null caps) \\
125 defined chunk type is \texttt{SEL4\_BOOTINFO\_HEADER\_PADDING} and describes an empty
|
| H A D | cspace.tex | 132 to create. All slots must be empty or an error will result. All resulting
322 either be empty, or contain a capability, which may refer to another \obj{CNode}.
|
| H A D | objects.tex | 273 can be empty or contain a capability.
282 creation scheduling contexts are \textit{empty} and do not represent any time.
|
| H A D | ipc.tex | 210 destination slot exists and is empty before it initiates the receive.
|
| H A D | threads.tex | 197 \apifunc{seL4\_UntypedRetype}{untyped_retype}. On creation, scheduling contexts are empty,
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 124 .first_slot = bi->empty.start,
125 .end_slot = bi->empty.end - 1
1252 bi->empty.start,
1253 bi->empty.end,
|
| /seL4-test-master/kernel/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 1427 # For an empty block:
1721 # Don't generate accessors if the block (minus tag) is empty
2239 empty = True
2245 empty = False
2251 if not empty:
2295 return empty
|
| /seL4-test-master/kernel/libsel4/tools/ |
| H A D | bitfield_gen.py | 1427 # For an empty block:
1721 # Don't generate accessors if the block (minus tag) is empty
2239 empty = True
2245 empty = False
2251 if not empty:
2295 return empty
|
| /seL4-test-master/kernel/tools/ |
| H A D | bitfield_gen.py | 1427 # For an empty block:
1721 # Don't generate accessors if the block (minus tag) is empty
2239 empty = True
2245 empty = False
2251 if not empty:
2295 return empty
|
| /seL4-test-master/kernel/src/kernel/ |
| H A D | boot.c | 662 /* if boot_mem_reuse_reg is not empty, we can create UT objs from boot code/data frames */
683 ndks_boot.bi_frame->empty = (seL4_SlotRegion) {
739 /* reserved region is empty - skip it */
742 /* skip the entire region - it's empty now after trimming */
797 /* skip any empty regions */
|
Completed in 122 milliseconds