Searched refs:invocations (Results 1 - 8 of 8) sorted by path
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | invocation_header_gen.py | 65 {%- for label, condition in invocations %}
96 {%- for label, condition in invocations %}
134 {%- for label, condition in invocations %}
192 def generate(args, invocations):
206 data = template.render({'header_title': header_title, 'libsel4' : args.libsel4, 'invocations' : invocations, 'num_invocations' : len(invocations)})
214 invocations = parse_xml(args.xml) variable
217 generate(args, invocations)
|
| /seL4-mcs-10.1.1/manual/parts/ |
| H A D | cspace.tex | 103 essentially two \apifunc{seL4\_CNode\_Move}{cnode_move} invocations:
154 capability in either of these invocations, the destination rights are
179 only \emph{original} capabilities support derivation invocations, but
|
| H A D | io.tex | 100 Since invocations that
|
| H A D | ipc.tex | 128 invocations on the \obj{CNode} containing the capability. Endpoint
|
| H A D | threads.tex | 30 it will not be able to perform most kernel invocations, as they require
141 \apifunc{seL4\_SchedContext\_Bind}{schedcontext_bind}, both invocations have the same effect
598 of kernel objects, invocations and syscalls that allow the user to take advantage of hardware
609 \obj{VCPU} objects also have additional, architecture specific, invocations for manipulating
613 The provided objects and invocations are, generally speaking, the thinnest possible shim over
638 and \apifunc{seL4\_VCPU\_WriteVMCS}{x86_vcpu_writevmcs} invocations.
|
| H A D | vspace.tex | 49 In general, the top-level structure has no invocations for mapping, but is used as an argument to
50 several other virtual-memory related object invocations.
52 By making these cache related operations invocations on page directory capabilities in addition to
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | invocation_header_gen.py | 65 {%- for label, condition in invocations %}
96 {%- for label, condition in invocations %}
134 {%- for label, condition in invocations %}
192 def generate(args, invocations):
206 data = template.render({'header_title': header_title, 'libsel4' : args.libsel4, 'invocations' : invocations, 'num_invocations' : len(invocations)})
214 invocations = parse_xml(args.xml) variable
217 generate(args, invocations)
|
| /seL4-mcs-10.1.1/tools/ |
| H A D | invocation_header_gen.py | 65 {%- for label, condition in invocations %}
96 {%- for label, condition in invocations %}
134 {%- for label, condition in invocations %}
192 def generate(args, invocations):
206 data = template.render({'header_title': header_title, 'libsel4' : args.libsel4, 'invocations' : invocations, 'num_invocations' : len(invocations)})
214 invocations = parse_xml(args.xml) variable
217 generate(args, invocations)
|
Completed in 45 milliseconds