| /seL4-camkes-master/projects/capdl/python-capdl-tool/tests/ |
| H A D | allocator.py | 16 from capdl import Spec, Untyped, Endpoint, IRQControl, Frame namespace
45 ut = Untyped(name="test_ut", size_bits=ut_size_bits, paddr=1 << ut_size_bits)
48 child = Untyped(name="child_ut", size_bits=child_size_bits)
59 child = Untyped(name="child ut {0}".format(i), size_bits=size_bits)
71 ut = Untyped(name="test_ut", size_bits=ut_size_bits, paddr=1 << ut_size_bits)
90 ut = Untyped("untyped_{0}".format(i), size_bits=size_bits, paddr=paddr)
109 allocator.add_untyped(Untyped(name="test_ut", size_bits=16, paddr=0))
129 allocator.add_untyped(Untyped(name="test_ut", size_bits=16, paddr=0x10000))
147 parent = Untyped("parent_ut", size_bits=size_bits, paddr=ut_paddr)
150 child = Untyped("child_u
[all...] |
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | __init__.py | 13 Notification, TCB, Untyped, IOPorts, IODevice, IOPageTable, \
16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
|
| H A D | Allocator.py | 19 Notification, TCB, Untyped, IOPageTable, Object, IRQ, IOPorts, IODevice, \
92 o = Untyped(name, size_bits, paddr)
515 assert isinstance(before, Untyped)
516 assert isinstance(after, Untyped)
522 assert isinstance(u, Untyped)
523 assert isinstance(overlap, Untyped)
533 assert isinstance(u, Untyped)
535 raise AllocatorException("Untyped has no defined paddr")
537 raise AllocatorException("Untyped at %x is not aligned", u.paddr)
551 placeholder = Untyped(nam
22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
[all...] |
| H A D | Object.py | 387 class Untyped(Object): class in inherits:Object
389 super(Untyped, self).__init__(name)
|
| /seL4-camkes-master/projects/capdl/python-capdl-tool/examples/ |
| H A D | capdl-manipulation.py | 36 ut = capdl.Untyped('my_ut', 10) # <-- size in bits
|
| /seL4-camkes-master/projects/capdl/cdl_utils/ |
| H A D | capdl_linker.py | 9 from capdl.Object import register_object_sizes, Untyped namespace
140 alloc.add_untyped(Untyped("root_untyped_0x%x" % paddr,
|
| /seL4-camkes-master/kernel/manual/parts/ |
| H A D | objects.tex | 331 \item[Untyped Memory] (see \autoref{sec:kernmemalloc}) is the foundation of memory allocation
332 in the seL4 kernel. Untyped memory capabilities have a single method
347 regions via \obj{Untyped Memory} capabilities. Applications must have
348 explicit authority to memory (through these \obj{Untyped Memory} capabilities) in
365 the initial thread in the form of capabilities to \obj{Untyped Memory}, and
367 bootstrap the initial thread. These \obj{Untyped Memory} regions can then be split into
377 Untyped memory objects represent two different types of memory:
406 The seL4 kernel also allows \obj{Untyped Memory} regions to be reused.
422 For each \obj{Untyped Memory} region, the kernel keeps
451 Note that \obj{CNode}s, \obj{SchedContext}s (MCS only), and \obj{Untyped Objec
[all...] |
| H A D | api.tex | 241 The \obj{Untyped Memory} object does not have enough unallocated space to
|
| H A D | bootup.tex | 169 Untyped memory is given in no particular order. The array entry
|
| H A D | cspace.tex | 203 \obj{Untyped} & Must not have children (\autoref{s:cspace-revoke}) & \enummem{seL4\_RevokeFirst} \\
225 capability. Untyped capabilities when copied always create children,
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | macros.py | 25 Notification, page_sizes, PageDirectory, PageTable, TCB, Untyped, \
26 calculate_cnode_size, lookup_architecture namespace
|