/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4GlobalAsynchCallback-to.template.c | 20 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 D | seL4Ethdriver-to.template.c | 29 /*- 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 D | rpc-signalling.template.c | 31 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 D | seL4RPCNoThreads-to.template.h | 29 int /*? me.interface.name ?*/_handle_message(seL4_MessageInfo_t *info, seL4_Word badge);
|
H A D | seL4GPIOServer-to.template.c | 50 /*- 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 D | seL4MessageQueue-to.template.c | 33 /*- 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 D | seL4GPIOServer-to.template.h | 18 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 D | arm_vm.h | 10 #define VCPU_BADGE_IDX(badge) badge - 1
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4NotificationNative-to.template.c | 33 seL4_Word badge = 0; local 34 seL4_Poll(/*? notification ?*/, &badge); 35 return badge == /*? badge_magic ?*/;
|
/seL4-camkes-master/projects/camkes/apps/testnto1overload/ |
H A D | server.c | 14 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 D | service.h | 16 * @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 D | vusb.h | 25 * @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 D | client.c | 17 seL4_Word badge; local 18 seL4_Wait(event_notification, &badge);
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/include/ |
H A D | picotcp-socket-sync.h | 19 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 D | polling-client.c | 34 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 D | object_capops.h | 28 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 D | client.c | 18 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 D | ipc.c | 48 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 D | mcs_api.h | 33 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 D | irq.h | 39 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 D | service.c | 17 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 D | sender.c | 31 seL4_Word badge; local 32 seL4_Wait(event_notification, &badge);
|
/seL4-camkes-master/projects/camkes/apps/serialserver_interrupt/components/Client/src/ |
H A D | interrupt-client.c | 31 seL4_Word badge = 0; local 35 seL4_Wait(interrupt_getchar_notification(), &badge); local
|
/seL4-camkes-master/kernel/src/object/ |
H A D | notification.c | 35 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 D | Cap.py | 27 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)
|