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

/seL4-camkes-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-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DCap.py25 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 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-camkes-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-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dfault.c142 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 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-camkes-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-camkes-master/projects/camkes-tool/camkes/runner/
H A DContext.py151 '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 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-camkes-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-camkes-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-camkes-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)
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex675 The patterns following each guard matches the value of the scrutinee. Pattern matching has

Completed in 280 milliseconds