Searched refs:sizeBits (Results 1 - 12 of 12) sorted by relevance
| /seL4-refos-master/libs/libsel4debug/src/ |
| H A D | bootinfo.c | 40 int index = info->untypedList[i].sizeBits;
43 printf("%p | %zu | %d\n", (void *)info->untypedList[i].paddr, (size_t)info->untypedList[i].sizeBits,
|
| /seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | bootinfo.c | 40 int index = info->untypedList[i].sizeBits;
43 printf("%p | %zu | %d\n", (void *)info->untypedList[i].paddr, (size_t)info->untypedList[i].sizeBits,
|
| /seL4-refos-master/kernel/include/object/ |
| H A D | untyped.h | 23 #define MAX_FREE_INDEX(sizeBits) (BIT((sizeBits) - seL4_MinUntypedBits))
|
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | bootinfo_types.h | 52 seL4_Uint8 sizeBits;/* size (2^n) bytes of each untyped */ member in struct:seL4_UntypedDesc
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | bootinfo_types.h | 52 seL4_Uint8 sizeBits;/* size (2^n) bytes of each untyped */ member in struct:seL4_UntypedDesc
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.c | 296 int sizeBits = -1; local
299 sizeBits = i;
303 if (sizeBits == -1) {
317 error = simple_get_frame_cap(&procServ.simpleEnv, paddr, sizeBits, &path);
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.c | 296 int sizeBits = -1; local
299 sizeBits = i;
303 if (sizeBits == -1) {
317 error = simple_get_frame_cap(&procServ.simpleEnv, paddr, sizeBits, &path);
|
| /seL4-refos-master/libs/libsel4simple-default/src/ |
| H A D | libsel4simple-default.c | 36 bi->untypedList[i].paddr + BIT(bi->untypedList[i].sizeBits) >= (seL4_Word)paddr + BIT(size_bits)) {
52 bi->untypedList[i].sizeBits >= size_bits) {
153 *size_bits = bi->untypedList[n].sizeBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/ |
| H A D | libsel4simple-default.c | 36 bi->untypedList[i].paddr + BIT(bi->untypedList[i].sizeBits) >= (seL4_Word)paddr + BIT(size_bits)) {
52 bi->untypedList[i].sizeBits >= size_bits) {
153 *size_bits = bi->untypedList[n].sizeBits;
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 222 size_t size_bits = bi->untypedList[index].sizeBits;
1236 size_bits = bi->untypedList[index].sizeBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 222 size_t size_bits = bi->untypedList[index].sizeBits;
1236 size_bits = bi->untypedList[index].sizeBits;
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | bootup.tex | 190 \texttt{seL4\_Uint8} & \texttt{sizeBits} & size ($2^n$ bytes) of the untyped object \\
|
Completed in 113 milliseconds