Searched refs:badge (Results 51 - 75 of 91) sorted by relevance

1234

/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dtimer.c50 void sel4platsupport_handle_timer_irq(seL4_timer_t *timer, seL4_Word badge) argument
54 for (unsigned long i = 0; badge && i < timer->to.nirqs; i++) {
55 /* invert the bit: we take the top badge bits to identify timers */
57 if (badge & BIT(irq)) {
58 /* mask the bit out of the badge */
59 badge &= ~BIT(irq);
70 static int setup_irq(vka_t *vka, sel4ps_irq_t *irq, seL4_Word badge, seL4_CPtr ntfn) argument
76 /* badge it */
77 error = vka_cnode_mint(&irq->badged_ntfn_path, &path, seL4_AllRights, badge);
H A Dirq.c62 /* Bitfield tracking which of the bits in the badge are allocated */
232 /* Find an empty space (unclaimed bit in the badge) for the IRQ */
238 /* Allocate a CSpace slot and mint the root notification object with badge */
245 seL4_Word badge = BIT(badge_index); local
246 error = vka_cnode_mint(&mint_path, &(ntfn_entry->root_ntfn_path), seL4_AllRights, badge);
275 *ret_badge = badge;
280 ntfn_entry->status_bitfield |= badge;
588 /* Get the number of bits that we can use in the badge,
784 /* Free the allocated badge index and update the bookkeeping in the notification array and the irq array */
855 seL4_Word badge, seL4_Wor
854 serve_irq(irq_cookie_t *irq_cookie, ntfn_id_t id, seL4_Word mask, seL4_Word badge, seL4_Word *ret_leftover_bits) argument
910 seL4_Word badge = 0; local
941 seL4_Word badge = 0; local
[all...]
/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/cakeml-filter/
H A DcomponentScript.sml40 fun callback badge = let
71 val badge = Utils.seL4_Wait src; value
72 val _ = callback badge;
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h99 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
109 register word_t badge_reg asm("x0") = badge;
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h93 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
129 "b"(badge),
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Ddeprecated.h119 static inline SEL4_DEPRECATED("Badges do not need to be constructed") seL4_Word seL4_CapData_Badge_new(seL4_Word badge) argument
121 return badge;
/seL4-camkes-master/projects/global-components/components/BenchUtiliz/src/
H A DbenchUtiliz.c38 seL4_Word badge; local
41 seL4_Wait(serial_getchar_notification(), &badge); local
/seL4-camkes-master/projects/global-components/components/modules/picotcp-base/
H A Dpicotcp-init.c42 static void stack_tick_callback(UNUSED seL4_Word badge, void *cookie) argument
102 typedef int (*register_callback_handler_fn_t)(seL4_Word badge, const char *,
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dtimer.h122 * @param badge badge recieved on the notification object this timer was initialised with.
124 void sel4platsupport_handle_timer_irq(seL4_timer_t *timer, seL4_Word badge);
/seL4-camkes-master/projects/global-components/templates/
H A DseL4GlobalAsynchHardwareInterrupt.template.c29 /*- set badge = pop('badge') -*/
220 .badge = /*? badge ?*/,
228 // Set the badge of the IRQHandler.
H A DseL4DTBHardwareThreadless.template.c179 .badge = /*? badges[i] ?*/,
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/include/
H A Dpicotcp-ethernet-async.h34 typedef int (*register_callback_handler_fn_t)(seL4_Word badge, const char *,
/seL4-camkes-master/kernel/src/fastpath/
H A Dfastpath.c31 word_t badge; local
174 badge = cap_endpoint_cap_get_capEPBadge(ep_cap);
221 fastpath_restore(badge, msgInfo, NODE_STATE(ksCurThread));
241 word_t badge; local
481 /* Replies don't have a badge. */
482 badge = 0;
493 fastpath_restore(badge, msgInfo, NODE_STATE(ksCurThread));
/seL4-camkes-master/kernel/src/machine/
H A Dcapdl.c210 long unsigned int badge = cap_endpoint_cap_get_capEPBadge(ep); local
211 badge ? printf(", badge: %lu)\n", badge) : printf(")\n");
219 long unsigned int badge = cap_notification_cap_get_capNtfnBadge(ntfn); local
220 badge ? printf(", badge: %lu)\n", badge) : printf(")\n");
/seL4-camkes-master/kernel/include/arch/riscv/arch/fastpath/
H A Dfastpath.h95 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
113 register word_t badge_reg asm("a0") = badge;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dboot.c73 seL4_Word badge = VCPU_BADGE_CREATE((seL4_Word)vcpu->vcpu_id); local
79 err = vka_cnode_mint(&dst, &src, seL4_AllRights, badge);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm.h48 * @param {seL4_Word} badge Badge of inbound event
53 typedef int (*notification_callback_fn)(vm_t *vm, seL4_Word badge, seL4_MessageInfo_t tag,
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dirq.c197 int camkes_handle_global_endpoint_irq(seL4_Word badge) argument
202 seL4_Word registered_badge = (*irq_entry)->badge;
203 if ((badge & registered_badge) == registered_badge) {
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/
H A Dserver.c133 static void virt_queue_handle_irq(seL4_Word badge, void *cookie) argument
174 static void notify_client(UNUSED seL4_Word badge, void *cookie) argument
179 virt_queue_handle_irq(badge, cookie);
/seL4-camkes-master/kernel/include/kernel/
H A Dthread.h177 word_t badge, bool_t grant, tcb_t *receiver);
185 word_t badge, bool_t canGrant, tcb_t *receiver,
187 void doFaultTransfer(word_t badge, tcb_t *sender, tcb_t *receiver,
/seL4-camkes-master/kernel/src/object/
H A Dcnode.c327 word_t badge = cap_endpoint_cap_get_capEPBadge(cap); local
328 if (badge) {
331 cancelBadgedSends(ep, badge);
785 word_t badge; local
787 badge = cap_endpoint_cap_get_capEPBadge(cte_a->cap);
788 if (badge == 0) {
791 return (badge == cap_endpoint_cap_get_capEPBadge(cte_b->cap)) &&
797 word_t badge; local
799 badge = cap_notification_cap_get_capNtfnBadge(cte_a->cap);
800 if (badge
[all...]
H A Dobjecttype.c778 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, argument
782 sendIPC(block, call, badge, canGrant, canGrantReply, canDonate, NODE_STATE(ksCurThread), ep);
787 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, argument
791 sendIPC(block, call, badge, canGrant, canGrantReply, NODE_STATE(ksCurThread), ep);
797 exception_t performInvocation_Notification(notification_t *ntfn, word_t badge) argument
799 sendSignal(ntfn, badge);
/seL4-camkes-master/kernel/src/kernel/
H A Dthread.c107 void doIPCTransfer(tcb_t *sender, endpoint_t *endpoint, word_t badge, argument
116 doNormalTransfer(sender, sendBuffer, endpoint, badge, grant,
119 doFaultTransfer(badge, sender, receiver, receiveBuffer);
190 word_t badge, bool_t canGrant, tcb_t *receiver,
218 setRegister(receiver, badgeRegister, badge);
221 void doFaultTransfer(word_t badge, tcb_t *sender, tcb_t *receiver, argument
231 setRegister(receiver, badgeRegister, badge);
258 * only transfer the badge, not the cap. */
292 /* Set the badge register to 0 to indicate there was no message */
189 doNormalTransfer(tcb_t *sender, word_t *sendBuffer, endpoint_t *endpoint, word_t badge, bool_t canGrant, tcb_t *receiver, word_t *receiveBuffer) argument
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dserial.c515 unsigned int badge = getchar_enumerate_badge(i); local
516 assert(badge <= num_getchar_clients);
517 getchar_clients[i].client_id = badge;
518 getchar_clients[i].buf = getchar_buf(badge);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dsimple.c155 seL4_Word badge; local
156 seL4_Wait(endpoint, &badge);

Completed in 197 milliseconds

1234