| /seL4-camkes-master/projects/musllibc/src/misc/ |
| H A D | uname.c | 4 int uname(struct utsname *uts) argument
6 return syscall(SYS_uname, uts);
|
| /seL4-camkes-master/projects/musllibc/src/unistd/ |
| H A D | gethostname.c | 7 struct utsname uts; local
8 if (uname(&uts)) return -1;
9 if (len > sizeof uts.nodename) len = sizeof uts.nodename;
10 for (i=0; i<len && (name[i] = uts.nodename[i]); i++);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | twinkle.c | 33 twinkle->uts = NULL;
36 int _utspace_twinkle_add_uts(allocman_t *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, argument
51 if (twinkle->uts) {
52 memcpy(new_uts, twinkle->uts, sizeof(struct utspace_twinkle_ut) * twinkle->num_uts);
53 allocman_mspace_free(alloc, twinkle->uts, sizeof(struct utspace_twinkle_ut) * twinkle->num_uts);
57 uts[i], 0, size_bits[i]
60 twinkle->uts = new_uts;
83 if (_round_up(twinkle->uts[i].offset, size_bits) + BIT(size_bits) <= BIT(twinkle->uts[i].size_bits)) {
92 for (j = i; j < twinkle->num_uts && twinkle->uts[
[all...] |
| H A D | split.c | 100 int _utspace_split_add_uts(allocman_t *alloc, void *_split, size_t num, const cspacepath_t *uts, size_t *size_bits, argument
121 error = _insert_new_node(alloc, &list[size_bits[i]], uts[i], paddr ? paddr[i] : ALLOCMAN_NO_PADDR);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
| H A D | twinkle.h | 33 struct utspace_twinkle_ut *uts; member in struct:utspace_twinkle
37 int _utspace_twinkle_add_uts(struct allocman *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
|
| H A D | split.h | 51 int _utspace_split_add_uts(struct allocman *alloc, void *_split, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
|
| H A D | utspace.h | 64 int (*add_uts)(struct allocman *alloc, void *utspace, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
|
| H A D | vka.h | 70 static inline int _utspace_vka_add_uts(struct allocman *alloc, void *_trickle, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | allocman.h | 383 * @param uts Path to each of the untyped to add. untyped is assumed to be at depth 32 from this threads cspace_root
390 static inline int allocman_utspace_add_uts(allocman_t *alloc, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) { argument
393 error = alloc->utspace.add_uts(alloc, alloc->utspace.utspace, num, uts, size_bits, paddr, utType);
|
| H A D | bootstrap.h | 230 * @param uts Path to each of the untypeds
237 int bootstrap_add_untypeds(bootstrap_info_t *bs, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, bool isDevice);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 62 cspacepath_t *uts; member in struct:bootstrap_info
78 if (bs->uts) {
79 allocman_mspace_free(bs->alloc, bs->uts, sizeof(cspacepath_t) * bs->num_uts);
177 if (bs->uts) {
178 memcpy(new_uts, bs->uts, sizeof(cspacepath_t) * bs->num_uts);
182 allocman_mspace_free(bs->alloc, bs->uts, sizeof(cspacepath_t) * bs->num_uts);
191 bs->uts = new_uts;
199 int bootstrap_add_untypeds(bootstrap_info_t *bs, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, bool isDevice) { argument
203 error = _add_ut(bs, uts[i], size_bits[i], paddr ? paddr[i] : ALLOCMAN_NO_PADDR, isDevice);
214 /* if we do not have a boot cspace, or we have added some uts tha
[all...] |
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | macros.py | 108 uts = []
117 uts.append((current, get_alignment_bits(ut_size)))
120 return uts
|
| /seL4-camkes-master/projects/capdl/python-capdl-tool/tests/ |
| H A D | allocator.py | 24 def assertValidSpec(self, allocator, spec, ut_size, child_size, children, uts):
29 if not any(c in ut.children for ut in uts):
215 Test allocating a collection of unfun objects that do not align and have placeholder uts between them
|
| /seL4-camkes-master/tools/riscv-pk/scripts/ |
| H A D | config.sub | 1456 -ctix* | -uts*)
|
| /seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
| H A D | config.sub | 1446 -ctix* | -uts*)
|
| /seL4-camkes-master/tools/rumprun/tests/configure/build-aux/ |
| H A D | config.sub | 1446 -ctix* | -uts*)
|