| /seL4-test-master/kernel/manual/parts/ |
| H A D | ipc.tex | |
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
| H A D | service.c | 17 seL4_Word badge = b; local
|
| /seL4-test-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-test-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-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/ |
| H A D | breakpoints.c | 50 seL4_Word badge; local
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | nbwait.c | 40 seL4_Word badge = 0; local
[all...] |
| H A D | regressions.c | 44 seL4_Word badge = 0; /* ignored */ local
80 seL4_Word badge = 0; /* ignored */ local
289 seL4_Word badge = 0; /* ignored */ local
|
| H A D | binding.c | 24 static seL4_CPtr badge_endpoint(env_t env, seL4_Word badge, seL4_CPtr ep) argument
71 seL4_Word badge = 0; local
122 seL4_Word badge = 0; local
148 seL4_Word badge; local
[all...] |
| /seL4-test-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
|
| H A D | notification.c | 35 static inline void ntfn_set_active(notification_t *ntfnPtr, word_t badge) argument
76 void sendSignal(notification_t *ntfnPtr, word_t badge) argument
254 word_t badge; local
[all...] |
| H A D | endpoint.c | 26 void sendIPC(bool_t blocking, bool_t do_call, word_t badge, argument
202 word_t badge; local
404 void cancelBadgedSends(endpoint_t *epptr, word_t badge) argument
[all...] |
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | vm.c | 146 seL4_Word badge; local
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
| H A D | timer.c | 55 void handle_timer_interrupts(driver_env_t env, seL4_Word badge) argument
|
| H A D | testtypes.c | 125 seL4_Word badge = 0; local
|
| /seL4-test-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
|
| /seL4-test-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
|
| /seL4-test-master/kernel/src/fastpath/ |
| H A D | fastpath.c | 31 word_t badge; local
241 word_t badge; local
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 115 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 122 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-test-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
|
| /seL4-test-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
70 static int setup_irq(vka_t *vka, sel4ps_irq_t *irq, seL4_Word badge, seL4_CPtr ntfn) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | thread_config.h | 42 seL4_Word badge; member in struct:sched_params
70 sched_params_periodic(sched_params_t params, simple_t *simple, seL4_Word core, uint64_t period_us, uint64_t budget_us, seL4_Word extra_refills, seL4_Word badge) argument
|
| H A D | mcs_api.h | 33 static inline seL4_MessageInfo_t api_wait(seL4_CPtr ep, seL4_Word *badge) argument
42 static inline seL4_MessageInfo_t api_recv(seL4_CPtr ep, seL4_Word *badge, UNUSED seL4_CPtr reply) argument
51 static inline seL4_MessageInfo_t api_nbrecv(seL4_CPtr ep, seL4_Word *badge, UNUSED seL4_CPtr reply) argument
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-test-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
|