Searched refs:Notification (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A D__init__.py13 Notification, TCB, Untyped, IOPorts, IODevice, IOPageTable, \
16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
H A DCap.py10 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 DAllocator.py19 Notification, TCB, Untyped, IOPageTable, Object, IRQ, IOPorts, IODevice, \
98 o = Notification(name)
22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
H A DObject.py329 class Notification(Object): class in inherits:Object
502 assert isinstance(notification_cap.referent, Notification)
/seL4-camkes-master/kernel/manual/parts/
H A Dnotifications.tex12 \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 Dcspace.tex141 \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 Dobjects.tex172 \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 Dio.tex13 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 Dmacros.py25 Notification, page_sizes, PageDirectory, PageTable, TCB, Untyped, \
26 calculate_cnode_size, lookup_architecture namespace

Completed in 105 milliseconds