/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4GlobalAsynchCallback-to.template.c | 24 seL4_Word badge; local
|
H A D | rpc-signalling.template.c | 31 void /*? me.interface.name ?*/_emit(unsigned int badge) { argument
|
H A D | seL4MessageQueue-to.template.c | 48 seL4_Word badge; local
|
H A D | seL4Ethdriver-to.template.c | 37 void /*? me.interface.name ?*/_emit(unsigned int badge) { argument 50 _has_mac(unsigned int badge) argument 67 _get_mac(unsigned int badge, uint8_t *mac) argument [all...] |
H A D | seL4GPIOServer-to.template.c | 61 gpio_id_t */*? me.interface.name ?*/_get_client_pins(seL4_Word badge) argument 75 unsigned int /*? me.interface.name ?*/_num_client_pins(seL4_Word badge) argument [all...] |
H A D | seL4RPCNoThreads-to.template.c | 115 int /*? me.interface.name ?*/_handle_message(seL4_MessageInfo_t *info, seL4_Word badge) argument
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4NotificationNative-to.template.c | 33 seL4_Word badge = 0; local
|
H A D | seL4DTBHardware-to.template.c | 180 seL4_Word badge = 0; local
|
/seL4-camkes-master/projects/camkes/apps/global_async/components/Client/src/ |
H A D | client.c | 17 seL4_Word badge; local
|
/seL4-camkes-master/projects/camkes/apps/testnto1overload/ |
H A D | server.c | 14 static seL4_Word badge; local
|
/seL4-camkes-master/projects/camkes/apps/timeserver/components/Client/src/ |
H A D | client.c | 18 seL4_Word badge; local
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | ipc.tex | |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | service.c | 17 seL4_Word badge = b; local
|
/seL4-camkes-master/projects/camkes/apps/global_async/components/Sender/src/ |
H A D | sender.c | 31 seL4_Word badge; local
|
/seL4-camkes-master/projects/camkes/apps/picoserver/components/Listener/src/ |
H A D | listener.c | 81 seL4_Word badge; local 84 seL4_Wait(listener_control_notification(), &badge); local
|
/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/projects/camkes/apps/serialserver_polling/components/Client/src/ |
H A D | polling-client.c | 34 seL4_Word badge = 0; local 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 50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument
|
H A D | capops.h | 59 vka_cnode_mint(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights, seL4_Word badge) argument 86 vka_cnode_mutate(const cspacepath_t *dest, const cspacepath_t *src, seL4_Word badge) argument
|
/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
|
/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
|
/seL4-camkes-master/projects/camkes/apps/picoserver/components/Echo/src/ |
H A D | echo.c | 99 seL4_Word badge; local 102 seL4_Wait(echo_control_notification(), &badge); local
|
/seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/ |
H A D | ipc.c | 48 seL4_Word badge; local 68 seL4_Word badge; local 103 seL4_Word badge; local [all...] |
/seL4-camkes-master/kernel/src/object/ |
H A D | schedcontrol.c | 106 word_t badge = getSyscallArg(TIME_ARG_SIZE * 2 + 1, buffer); local 13 invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, ticks_t period, word_t max_refills, word_t badge) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | vm.c | 146 seL4_Word badge; local
|