| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | vma.h | 35 bool execute; member in struct:camkes_vma
|
| /seL4-camkes-master/projects/camkes-tool/tools/ |
| H A D | goanna_wrapper.py | 38 def execute(args, stdout): function
48 ret, stderr = execute(['goannacc'] + argv[1:], out)
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.common.c | 942 .execute = true,
951 .execute = false,
960 .execute = false,
969 .execute = false,
978 .execute = false,
988 .execute = false,
997 .execute = false,
1006 .execute = false,
1015 .execute = false,
1024 .execute
[all...] |
| /seL4-camkes-master/projects/camkes-tool/camkes/ast/tests/ |
| H A D | lintsource.py | 36 ret, _, stderr = self.execute([CAMKES_LINT, path])
|
| /seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/ |
| H A D | lintsource.py | 36 ret, _, stderr = self.execute([CAMKES_LINT, path])
|
| H A D | utils.py | 116 def execute(self, argv, cwd=os.getcwd(), env=os.environ): member in class:CAmkESTest
|
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
| H A D | lintsource.py | 36 ret, _, stderr = self.execute([CAMKES_LINT, path])
|
| /seL4-camkes-master/projects/camkes-tool/camkes/runner/tests/ |
| H A D | lintsource.py | 36 ret, _, stderr = self.execute([CAMKES_LINT, path])
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
| H A D | lintsource.py | 36 ret, _, stderr = self.execute([CAMKES_LINT, path])
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
| H A D | streaming.cpp | 232 while(pac.execute()) {
273 while(pac.execute()) {
|
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | PageCollection.py | 40 def add_page(self, vaddr, read=False, write=False, execute=False, size=PAGE_SIZE, elffill=[]):
46 'execute': False,
53 self._pages[vaddr]['execute'] |= execute
89 grant=page['execute'])
158 r.get('execute', False))
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | sys_madvise.c | 51 if (!camkes_vmas[i].read && !camkes_vmas[i].write && !camkes_vmas[i].execute) {
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
| H A D | unpack.hpp | 486 int execute(const char* data, std::size_t len, std::size_t& off);
603 inline int context::execute(const char* data, std::size_t len, std::size_t& off) function in class:msgpack::detail::context
1116 bool execute();
1630 inline bool unpacker::execute() function in class:msgpack::unpacker
1645 int ret = m_ctx.execute(m_buffer, m_used, m_off);
1751 int e = ctx.execute(data, len, noff);
|
| /seL4-camkes-master/tools/rumprun/app-tools/ |
| H A D | rumprun | 87 -S execute sudo where potentially necessary
|
| /seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
| H A D | ltmain.sh | 55 # execute automatically set library path, then run a program
109 # NLS nuisances: We save the old values to restore during execute mode.
1022 execute|execut|execu|exec|exe|ex|e)
1023 shift; set dummy --mode execute ${1+"$@"}; shift
1106 clean|compile|execute|finish|install|link|relink|uninstall) ;;
1203 # Only execute mode is allowed to have -dlopen flags.
1204 if test -n "$opt_dlopen" && test "$opt_mode" != execute; then
2345 execute)
2347 "Usage: $progname [OPTION]... --mode=execute COMMAND [ARGS]...
2491 for opt_mode in compile link execute instal
[all...] |
| /seL4-camkes-master/tools/rumprun/tests/configure/build-aux/ |
| H A D | ltmain.sh | 55 # execute automatically set library path, then run a program
109 # NLS nuisances: We save the old values to restore during execute mode.
1022 execute|execut|execu|exec|exe|ex|e)
1023 shift; set dummy --mode execute ${1+"$@"}; shift
1106 clean|compile|execute|finish|install|link|relink|uninstall) ;;
1203 # Only execute mode is allowed to have -dlopen flags.
1204 if test -n "$opt_dlopen" && test "$opt_mode" != execute; then
2345 execute)
2347 "Usage: $progname [OPTION]... --mode=execute COMMAND [ARGS]...
2491 for opt_mode in compile link execute instal
[all...] |
| /seL4-camkes-master/kernel/manual/parts/ |
| H A D | threads.tex | 191 contexts are referred to as \emph{passive} threads, as they cannot execute without the action of
653 it is scheduled thereafter, to execute using the higher privileged mode controlled by the \obj{VCPU}.
|