Searched refs:badged (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/manual/parts/
H A Dnotifications.tex19 \obj{Notification} capabilities can be badged, using
23 capabilities, badged \obj{Notification} capabilities cannot be
35 If the signal sender capability was unbadged or 0-badged, the operation degrades
H A Dipc.tex126 word chosen by the invoker of the \emph{mint} operation. When a message is sent to an endpoint using a badged
131 Such a capability can be badged with the \apifunc{seL4\_CNode\_Mutate}{cnode_mutate} or \apifunc{seL4\_CNode\_Mint}{cnode_mint}
212 destination slot is invalid and will instead transfer badged
H A Dcspace.tex85 can also create a badged capability (see \autoref{sec:ep-badges})
238 created (see \autoref{s:ep-badge}, \autoref{s:notif-badge}). This new, badged capability to the same object is treated as
239 an original capability (the ``original badged endpoint capability'')
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfaults.c505 bool badged = flags_and_reply & BIT(BADGED); local
510 if (badged) {
699 for (int badged = 0; badged <= 1; badged++) {
703 if (badged) {
762 (badged ? BIT(BADGED) : 0) |

Completed in 32 milliseconds