/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | timer.c | 50 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 D | irq.c | 62 /* 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 D | componentScript.sml | 40 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 D | fastpath.h | 99 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 D | fastpath.h | 93 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 D | deprecated.h | 119 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 D | benchUtiliz.c | 38 seL4_Word badge; local 41 seL4_Wait(serial_getchar_notification(), &badge); local
|
/seL4-camkes-master/projects/global-components/components/modules/picotcp-base/ |
H A D | picotcp-init.c | 42 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 D | timer.h | 122 * @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 D | seL4GlobalAsynchHardwareInterrupt.template.c | 29 /*- set badge = pop('badge') -*/ 220 .badge = /*? badge ?*/, 228 // Set the badge of the IRQHandler.
|
H A D | seL4DTBHardwareThreadless.template.c | 179 .badge = /*? badges[i] ?*/,
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/include/ |
H A D | picotcp-ethernet-async.h | 34 typedef int (*register_callback_handler_fn_t)(seL4_Word badge, const char *,
|
/seL4-camkes-master/kernel/src/fastpath/ |
H A D | fastpath.c | 31 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 D | capdl.c | 210 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 D | fastpath.h | 95 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 D | boot.c | 73 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 D | guest_vm.h | 48 * @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 D | irq.c | 197 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 D | server.c | 133 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 D | thread.h | 177 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 D | cnode.c | 327 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 D | objecttype.c | 778 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 D | thread.c | 107 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 D | serial.c | 515 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 D | simple.c | 155 seL4_Word badge; local 156 seL4_Wait(endpoint, &badge);
|