Searched refs:Notification (Results 1 - 9 of 9) sorted by relevance
/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 | Cap.py | 10 from capdl.Object import Object, Frame, CNode, Endpoint, Notification, SchedControl namespace 51 isinstance(self.referent, Notification) 88 (Frame, Endpoint, Notification)): 104 if isinstance(self.referent, (Endpoint, Notification)) and \
|
H A D | Allocator.py | 19 Notification, TCB, Untyped, IOPageTable, Object, IRQ, IOPorts, IODevice, \ 98 o = Notification(name) 22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
|
H A D | Object.py | 329 class Notification(Object): class in inherits:Object 502 assert isinstance(notification_cap.referent, Notification)
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | notifications.tex | 12 \section{Notification Objects} 14 A \obj{Notification} object contains a single data word, called the 19 \obj{Notification} capabilities can be badged, using 23 capabilities, badged \obj{Notification} capabilities cannot be 49 If threads are waiting on the \obj{Notification} object at the time 57 \obj{Notification} objects and \obj{TCB}s can be bound together in a 1-to-1 relationship 59 \obj{Notification} is bound to a \obj{TCB}, signals to that notification object
|
H A D | cspace.tex | 141 \autoref{ch:ipc}), \obj{Notification}s (see 171 \obj{Notification} & Waiting & Signaling & N/A & N/A \\ 234 exception to this scheme for \obj{Endpoint} and \obj{Notification} capabilities --- they support an 236 The original \obj{Endpoint} or \obj{Notification} capability will be unbadged. Using
|
H A D | objects.tex | 172 \obj{Endpoint} or \obj{Notification} capabilities, raising a fault (see 304 \item[\obj{Notification} Objects] (see \autoref{ch:notifications}) 305 provide a simple signalling mechanism. A \obj{Notification} 309 and blocking until any are signalled. Notification capabilities
|
H A D | io.tex | 13 may configure the kernel to signal a particular \obj{Notification} 17 that \obj{Notification}. 25 specifies the \obj{Notification} the kernel should 37 de-registers the \obj{Notification} from the \obj{IRQHandler} object.
|
/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
|
Completed in 105 milliseconds