Searched refs:guard (Results 1 - 11 of 11) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dapi.h21 /* 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 Dpthread_create.c184 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 Ddeprecated.h117 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 Dcspace.c129 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 Dcspace.tex83 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 Dbootup.tex26 slots), but the guard is always chosen so that the CNode resolves exactly
/seL4-test-master/kernel/src/object/
H A Dobjecttype.c416 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 Dfaults.c1078 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 Dbitfield_gen.py2889 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 Dbitfield_gen.py2889 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 Dbitfield_gen.py2889 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