Searched refs:Object (Results 1 - 18 of 18) sorted by relevance

/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A D__init__.py12 from .Object import Frame, PageTable, PageDirectory, ASIDPool, CNode, Endpoint, \
15 Object, ContainerObject, ObjectType, ObjectRights, IRQControl, register_object_sizes, \
16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
H A DSpec.py10 from .Object import IRQ, Object, PageTable namespace
35 assert isinstance(obj, Object)
H A DObject.py22 # dict of all object sizes, must be registered before using any Object in this file.
123 class Object(six.with_metaclass(abc.ABCMeta, object)): class in inherits:six.with_metaclass(abc.ABCMeta, object
142 class ContainerObject(six.with_metaclass(abc.ABCMeta, Object)):
163 "Object %s: slot indexes must be either all strings or all integers" % self.name)
186 class Frame(Object):
321 class Endpoint(Object):
329 class Notification(Object):
387 class Untyped(Object):
398 assert isinstance(child, Object)
436 class IOPorts(Object)
[all...]
H A DCap.py10 from capdl.Object import Object, Frame, CNode, Endpoint, Notification, SchedControl namespace
19 assert isinstance(referent, Object)
H A DAllocator.py18 from .Object import Frame, PageTable, PageDirectory, CNode, Endpoint, \
19 Notification, TCB, Untyped, IOPageTable, Object, IRQ, IOPorts, IODevice, \
218 assert isinstance(obj, Object) or obj is None
22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
H A Dutil.py19 from .Object import ObjectType, PageTable, PageDirectory, PML4, PDPT, PGD, PUD, get_object_size
H A DPageCollection.py16 from .Object import ASIDPool, Frame
H A DELF.py18 from .Object import TCB
/seL4-camkes-master/kernel/manual/parts/
H A Dapi.tex277 \section{Architecture-Independent Object Methods}
285 \section{x86-Specific Object Methods}
289 \section{IA32-Specific Object Methods}
293 \section{x86\_64-Specific Object Methods}
300 \section{ARM-Specific Object Methods}
305 \section{Aarch32-Specific Object Methods}
309 \section{Aarch64-Specific Object Methods}
313 \section{RISCV-Specific Object Methods}
314 \subsection{General RISCV Object Methods}
H A Dvspace.tex64 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
77 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
95 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
107 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
125 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
139 \emph{Object} & \emph{Address Bits} & \emph{Level} & \emph{Methods} \\ \midrule
H A Dobjects.tex445 \subsection{Summary of Object Sizes}
449 object will require. Object sizes are defined in libsel4.
451 Note that \obj{CNode}s, \obj{SchedContext}s (MCS only), and \obj{Untyped Object}s
454 \obj{Untyped Object} into smaller \obj{Untyped Object}s, the
480 single \obj{Untyped Object} into multiple objects. The number of objects
486 the \obj{Untyped Object}, an error will result.
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Duntyped_gen.py22 from capdl.Object import get_object_size_bits, ObjectType
H A Dcapdl_linker.py9 from capdl.Object import register_object_sizes, Untyped
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A D__main__.py50 from capdl.Object import register_object_sizes
H A DContext.py39 from capdl.Object import ObjectType, ObjectRights, ARMIRQMode
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Ddepcomp43 object Object file output by 'PROGRAMS ARGS'.
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/
H A Ddepcomp43 object Object file output by 'PROGRAMS ARGS'.
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py28 from capdl.Object import get_libsel4_constant

Completed in 130 milliseconds