Searched refs:badge (Results 1 - 25 of 91) sorted by relevance

1234

/seL4-camkes-master/projects/global-components/templates/
H A DseL4GlobalAsynchCallback-to.template.c20 void /*? me.interface.name ?*/_callback(seL4_Word badge);
24 seL4_Word badge; local
25 seL4_Wait(/*? callback_notification ?*/, &badge);
26 /*? me.interface.name ?*/_callback(badge);
H A DseL4Ethdriver-to.template.c29 /*- set badge = badges[loop.index0] -*/
31 void /*? me.interface.name ?*/_emit_/*? badge ?*/(void) {
34 /*- do macs.append( (badge, mac) ) -*/
37 void /*? me.interface.name ?*/_emit(unsigned int badge) { argument
41 /*- for badge in badges -*/
42 [/*? badge ?*/] = /*? me.interface.name ?*/_emit_/*? badge ?*/,
45 assert(badge < ARRAY_SIZE(lookup));
46 assert(lookup[badge]);
47 lookup[badge]();
50 _has_mac(unsigned int badge) argument
67 _get_mac(unsigned int badge, uint8_t *mac) argument
[all...]
H A Drpc-signalling.template.c31 void /*? me.interface.name ?*/_emit(unsigned int badge) { argument
35 /*- for badge in badges -*/
36 [/*? badge ?*/] = /*? me.interface.name ?*/_emit_/*? badge ?*/,
39 assert(badge < ARRAY_SIZE(lookup));
40 assert(lookup[badge]);
41 lookup[badge]();
H A DseL4RPCNoThreads-to.template.h29 int /*? me.interface.name ?*/_handle_message(seL4_MessageInfo_t *info, seL4_Word badge);
H A DseL4GPIOServer-to.template.c50 /*- set badge = client_ids.badges[loop.index0] -*/
51 /*- do client_allocated_pins.setdefault(badge, []).extend(client_pins) -*/
52 static gpio_id_t /*? me.interface.name ?*/_/*? badge ?*/_pins[] = {
61 gpio_id_t */*? me.interface.name ?*/_get_client_pins(seL4_Word badge) argument
63 switch (badge) {
64 /*- for badge in client_allocated_pins.keys() -*/
65 case /*? badge ?*/:
66 return /*? me.interface.name ?*/_/*? badge ?*/_pins;
75 unsigned int /*? me.interface.name ?*/_num_client_pins(seL4_Word badge) argument
77 switch (badge) {
[all...]
H A DseL4MessageQueue-to.template.c33 /*- set receiver_ntfn_cap = alloc_cap('%s_%s_receiver_ntfn_cap' % (from_instance_name, from_interface_name), receiver_ntfn, read=True, write=True, badge=1) -*/
48 seL4_Word badge; local
49 seL4_Poll(/*? receiver_ntfn_cap ?*/, &badge);
50 if (badge) {
H A DseL4GPIOServer-to.template.h18 gpio_id_t */*? me.interface.name ?*/_get_client_pins(seL4_Word badge);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Darm_vm.h10 #define VCPU_BADGE_IDX(badge) badge - 1
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4NotificationNative-to.template.c33 seL4_Word badge = 0; local
34 seL4_Poll(/*? notification ?*/, &badge);
35 return badge == /*? badge_magic ?*/;
/seL4-camkes-master/projects/camkes/apps/testnto1overload/
H A Dserver.c14 static seL4_Word badge; local
17 badge = f_get_sender_id();
21 assert(new_badge != badge);
22 if (new_badge != badge) {
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/
H A Dservice.h16 * @param[in] badge The badge to assign to the cap.
19 int vmm_install_service(vm_t *vm, seL4_CPtr service, int index, uint32_t badge);
H A Dvusb.h25 * @function vm_install_vusb(vm, hcd, pbase, virq, vmm_ncap, vm_ncap, badge)
34 * @param {int} badge The seL4 badge which should be applied to the notification capability.
39 int badge);
46 * of the VM which has a badge that matches that which was passed into the
/seL4-camkes-master/projects/camkes/apps/global_async/components/Client/src/
H A Dclient.c17 seL4_Word badge; local
18 seL4_Wait(event_notification, &badge);
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/include/
H A Dpicotcp-socket-sync.h19 typedef int (*register_callback_handler_fn_t)(seL4_Word badge, const char*, void (*callback_handler)(seL4_Word, void *),
/seL4-camkes-master/projects/camkes/apps/serialserver_polling/components/Client/src/
H A Dpolling-client.c34 seL4_Word badge = 0; local
35 while (!badge) {
36 seL4_Poll(poll_getchar_notification(), &badge); local
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dobject_capops.h28 vka_mint_object_inter_cspace(vka_t *src_vka, vka_object_t *object, vka_t *dest_vka, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument
37 return vka_cnode_mint(result, &src, rights, badge);
47 * @param[in] badge the badge for the minted cap.
51 seL4_CapRights_t rights, seL4_Word badge)
53 return vka_mint_object_inter_cspace(vka, object, vka, result, rights, badge);
50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument
/seL4-camkes-master/projects/camkes/apps/timeserver/components/Client/src/
H A Dclient.c18 seL4_Word badge; local
27 seL4_Wait(notification, &badge);
35 seL4_Wait(notification, &badge);
41 seL4_Wait(notification, &badge);
/seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/
H A Dipc.c48 seL4_Word badge; local
49 seL4_MessageInfo_t info = seL4_Recv(ep, &badge);
54 memcpy(a + offset, &badge, sizeof(badge));
55 offset += sizeof(badge);
68 seL4_Word badge; local
73 &badge);
78 memcpy(a + offset, &badge, sizeof(badge));
79 offset += sizeof(badge);
103 seL4_Word badge; local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dmcs_api.h33 static inline seL4_MessageInfo_t api_wait(seL4_CPtr ep, seL4_Word *badge) argument
36 return seL4_Wait(ep, badge);
38 return seL4_Recv(ep, badge);
42 static inline seL4_MessageInfo_t api_recv(seL4_CPtr ep, seL4_Word *badge, UNUSED seL4_CPtr reply) argument
45 return seL4_Recv(ep, badge, reply);
47 return seL4_Recv(ep, badge);
51 static inline seL4_MessageInfo_t api_nbrecv(seL4_CPtr ep, seL4_Word *badge, UNUSED seL4_CPtr reply) argument
54 return seL4_NBRecv(ep, badge, reply);
56 return seL4_NBRecv(ep, badge);
69 static inline seL4_MessageInfo_t api_reply_recv(seL4_CPtr ep, seL4_MessageInfo_t msg, seL4_Word *badge, argument
79 api_nbsend_recv(UNUSED seL4_CPtr send, UNUSED seL4_MessageInfo_t info, UNUSED seL4_CPtr recv, UNUSED seL4_Word *badge, UNUSED seL4_CPtr reply) argument
91 api_nbsend_wait(UNUSED seL4_CPtr send, UNUSED seL4_MessageInfo_t info, UNUSED seL4_CPtr recv, UNUSED seL4_Word *badge) argument
185 api_sched_ctrl_configure(UNUSED seL4_CPtr sched_ctrl, UNUSED seL4_CPtr sc, UNUSED uint64_t budget, UNUSED uint64_t period, UNUSED seL4_Word refills, UNUSED seL4_Word badge) argument
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dirq.h39 seL4_Word badge; member in struct:global_notification_irq_handler
65 * @param badge Badge received from reading notification object. Badge is bitwise compared
66 * against badge values registered by global_notification_irq_handler_t entry.
70 int camkes_handle_global_endpoint_irq(seL4_Word badge);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dservice.c17 seL4_Word badge = b; local
23 err = vka_cnode_mint(&dst, &src, seL4_AllRights, badge);
/seL4-camkes-master/projects/camkes/apps/global_async/components/Sender/src/
H A Dsender.c31 seL4_Word badge; local
32 seL4_Wait(event_notification, &badge);
/seL4-camkes-master/projects/camkes/apps/serialserver_interrupt/components/Client/src/
H A Dinterrupt-client.c31 seL4_Word badge = 0; local
35 seL4_Wait(interrupt_getchar_notification(), &badge); local
/seL4-camkes-master/kernel/src/object/
H A Dnotification.c35 static inline void ntfn_set_active(notification_t *ntfnPtr, word_t badge) argument
38 notification_ptr_set_ntfnMsgIdentifier(ntfnPtr, badge);
76 void sendSignal(notification_t *ntfnPtr, word_t badge) argument
87 setRegister(tcb, badgeRegister, badge);
95 ntfn_set_active(ntfnPtr, badge);
101 setRegister(tcb, badgeRegister, badge);
116 ntfn_set_active(ntfnPtr, badge);
119 ntfn_set_active(ntfnPtr, badge);
143 setRegister(dest, badgeRegister, badge);
154 badge2 |= badge;
254 word_t badge; local
[all...]
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DCap.py27 self.badge = None
48 def set_badge(self, badge):
52 assert badge % 2**28 == badge, 'badges can be a maximum of 28 bits'
53 self.badge = badge
105 self.badge is not None:
106 extra.append('badge: %d' % self.badge)

Completed in 193 milliseconds

1234