/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | __init__.py | 12 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 D | Spec.py | 10 from .Object import IRQ, Object, PageTable namespace 35 assert isinstance(obj, Object)
|
H A D | Object.py | 22 # 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 D | Cap.py | 10 from capdl.Object import Object, Frame, CNode, Endpoint, Notification, SchedControl namespace 19 assert isinstance(referent, Object)
|
H A D | Allocator.py | 18 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 D | util.py | 19 from .Object import ObjectType, PageTable, PageDirectory, PML4, PDPT, PGD, PUD, get_object_size
|
H A D | PageCollection.py | 16 from .Object import ASIDPool, Frame
|
H A D | ELF.py | 18 from .Object import TCB
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | api.tex | 277 \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 D | vspace.tex | 64 \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 D | objects.tex | 445 \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 D | untyped_gen.py | 22 from capdl.Object import get_object_size_bits, ObjectType
|
H A D | capdl_linker.py | 9 from capdl.Object import register_object_sizes, Untyped
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 50 from capdl.Object import register_object_sizes
|
H A D | Context.py | 39 from capdl.Object import ObjectType, ObjectRights, ARMIRQMode
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
H A D | depcomp | 43 object Object file output by 'PROGRAMS ARGS'.
|
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/ |
H A D | depcomp | 43 object Object file output by 'PROGRAMS ARGS'.
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 28 from capdl.Object import get_libsel4_constant
|