/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | api.h | 21 /* Helper for generating a guard. The guard itself is a bitpacked data structure, but is passed 23 static inline seL4_Word api_make_guard_word(seL4_Word guard, seL4_Word guard_size) { argument 27 return seL4_CNode_CapData_new(guard, guard_size).words[0]; 30 /* Helper for making an empty guard. Typically a guard matches zeroes and is effectively acting
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | Cap.py | 25 self.guard = 0 37 def set_guard(self, guard): 39 assert isinstance(guard, int) 40 assert guard % 2**18 == guard, 'guards can be a maximum of 18 bits' 41 self.guard = guard 108 extra.append('guard: %s' % self.guard)
|
/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | pthread_create.c | 184 size_t size, guard; local 230 guard = 0; 233 guard = ROUND(attr._a_guardsize); 234 size = guard + ROUND(attr._a_stacksize 239 if (guard) { 242 if (__mprotect(map+guard, size-guard, PROT_READ|PROT_WRITE) 254 stack_limit = map + guard;
|
/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | deprecated.h | 117 typedef seL4_Word seL4_CapData_t SEL4_DEPRECATED("Badge and guard data are just seL4_Word type"); 124 static inline SEL4_DEPRECATED("Use seL4_CNode_CapData_new().words[0]") seL4_Word seL4_CapData_Guard_new(seL4_Word guard, argument 127 return seL4_CNode_CapData_new(guard, bits).words[0];
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | fault.c | 142 seL4_Word guard = seL4_GetMR(5); local 144 SHOW("cap fault (guard mismatch with %u unresolved bits " 145 "and %u bit guard of 0x%"PRIxPTR") from %s.%s (ID 0x%"PRIxPTR"), pc = " 146 "%p, slot = 0x%"PRIxPTR"\n", unresolved, guard_size, guard,
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | cspace.c | 129 word_t radixBits, guardBits, levelBits, guard; local 156 guard = (capptr >> ((n_bits - guardBits) & MASK(wordRadix))) & MASK(guardBits); 157 if (unlikely(guardBits > n_bits || guard != capGuard)) {
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | cspace.tex | 83 the original and a different guard (see 89 capability has the same badge and guard as the original. 330 also carries a \emph{guard} value, explained in 341 then compares that \obj{CNode}'s \emph{guard} value against the most 360 all levels, various guard and radix sizes and internal CNode 369 \item a top level CNode object with a 12-bit guard set to 0x000 and 427 \item[Cap A.] The first CNode has a 4-bit guard set to 0x0, and an 434 \item[Cap B.] Again, the first CNode has a 4-bit guard set to 0x0, and 436 It also has a 4-bit guard of 0x0 and Cap B resides at index 442 of the second CNode. The third CNode has no guard an [all...] |
H A D | bootup.tex | 26 slots), but the guard is always chosen so that the CNode resolves exactly
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 151 'guard': partial(guard, entity.label()), 257 # guards. Use the following idiom to guard an include target: 371 # order of instantiation of templates. To avoid this, use the guard function 393 def guard(client, func, key, **kwargs): function 423 return guard(client, space.alloc, '%s_obj' % name, type=type, name=name, 429 cap = guard(client, space.alloc, '%s_cap' % name, name=name, obj=obj, **kwargs) 579 Create a stack of `size` with a guard page on each side. This allocates the frames internally 587 # We create 2 additional mappings with None caps that are for the guard pages. 601 # We create 3*4K mappings with None on each side of the IPC buffer for guard page [all...] |
/seL4-camkes-master/kernel/src/object/ |
H A D | objecttype.c | 416 word_t guard, guardSize; local 426 guard = seL4_CNode_CapData_get_guard(w) & MASK(guardSize); 427 new_cap = cap_cnode_cap_set_capCNodeGuard(cap, guard);
|
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper()) variable 2890 print("#ifndef %(guard)s\n#define %(guard)s\n" % 2891 {'guard': guard}, file=out_file)
|
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | bitfield_gen.py | 2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper()) variable 2890 print("#ifndef %(guard)s\n#define %(guard)s\n" % 2891 {'guard': guard}, file=out_file)
|
/seL4-camkes-master/kernel/tools/ |
H A D | bitfield_gen.py | 2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper()) variable 2890 print("#ifndef %(guard)s\n#define %(guard)s\n" % 2891 {'guard': guard}, file=out_file)
|
/seL4-camkes-master/tools/cogent/cogent/doc/ |
H A D | doc.tex | 675 The patterns following each guard matches the value of the scrutinee. Pattern matching has
|