Searched refs:guard (Results 1 - 11 of 11) sorted by relevance
/seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | faults.c | 1078 seL4_Word guard = seL4_WordBits - env->cspace_size_bits; local 1080 api_make_guard_skip_word(guard),
|
/seL4-test-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-test-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-test-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)
|
Completed in 117 milliseconds