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

12345

/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddispatcher.h31 #include "../badge.h"
58 /*! @brief Checks whether a badge is an PID badge.
59 @param badge The badge to check.
60 @return true if the badge is an PID badge, false otherwise.
63 dispatcher_badge_PID(seL4_Word badge) argument
65 return (badge >= PID_BADGE_BASE && badge < PID_BADGE_EN
73 dispatcher_badge_liveness(seL4_Word badge) argument
83 dispatcher_badge_dspace(seL4_Word badge) argument
93 dispatcher_badge_window(seL4_Word badge) argument
[all...]
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddispatcher.h31 #include "../badge.h"
58 /*! @brief Checks whether a badge is an PID badge.
59 @param badge The badge to check.
60 @return true if the badge is an PID badge, false otherwise.
63 dispatcher_badge_PID(seL4_Word badge) argument
65 return (badge >= PID_BADGE_BASE && badge < PID_BADGE_EN
73 dispatcher_badge_liveness(seL4_Word badge) argument
83 dispatcher_badge_dspace(seL4_Word badge) argument
93 dispatcher_badge_window(seL4_Word badge) argument
[all...]
/seL4-refos-master/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-refos-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-refos-master/libs/librefos/src/
H A Dsync.c65 seL4_Word badge; local
67 seL4_MessageInfo_t msginfo = seL4_Recv(mutex->mapping, &badge);
68 assert(badge == SYNC_ASYNC_BADGE_MAGIC);
83 seL4_Word badge = 0; local
84 seL4_MessageInfo_t info = seL4_Poll(mutex->mapping, &badge);
86 return badge == SYNC_ASYNC_BADGE_MAGIC;
/seL4-refos-master/projects/refos/impl/libs/librefos/src/
H A Dsync.c65 seL4_Word badge; local
67 seL4_MessageInfo_t msginfo = seL4_Recv(mutex->mapping, &badge);
68 assert(badge == SYNC_ASYNC_BADGE_MAGIC);
83 seL4_Word badge = 0; local
84 seL4_MessageInfo_t info = seL4_Poll(mutex->mapping, &badge);
86 return badge == SYNC_ASYNC_BADGE_MAGIC;
/seL4-refos-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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/
H A Dclient_watch.c20 #include "../badge.h"
50 if ((m->badge & CONSERV_ASYNC_BADGE_MASK) == 0) {
53 if ((m->badge & CONSERV_ASYNC_NOTIFY_BADGE) == 0) {
H A Ddispatch.c37 if (m->badge) {
39 c = client_get_badge(&conServCommon->clientTable, m->badge);
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Ddispatch.c37 if (m->badge) {
39 c = client_get_badge(&fileServCommon->clientTable, m->badge);
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/
H A Dclient_watch.c20 #include "../badge.h"
50 if ((m->badge & TIMESERV_ASYNC_BADGE_MASK) == 0) {
53 if ((m->badge & TIMESERV_ASYNC_NOTIFY_BADGE) == 0) {
H A Ddispatch.c37 if (m->badge) {
39 c = client_get_badge(&timeServCommon->clientTable, m->badge);
/seL4-refos-master/apps/console_server/src/dispatchers/
H A Dclient_watch.c20 #include "../badge.h"
50 if ((m->badge & CONSERV_ASYNC_BADGE_MASK) == 0) {
53 if ((m->badge & CONSERV_ASYNC_NOTIFY_BADGE) == 0) {
H A Ddispatch.c37 if (m->badge) {
39 c = client_get_badge(&conServCommon->clientTable, m->badge);
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Ddispatch.c37 if (m->badge) {
39 c = client_get_badge(&fileServCommon->clientTable, m->badge);
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Dclient_watch.c20 #include "../badge.h"
50 if ((m->badge & TIMESERV_ASYNC_BADGE_MASK) == 0) {
53 if ((m->badge & TIMESERV_ASYNC_NOTIFY_BADGE) == 0) {
H A Ddispatch.c37 if (m->badge) {
39 c = client_get_badge(&timeServCommon->clientTable, m->badge);
/seL4-refos-master/kernel/include/object/
H A Dendpoint.h23 void sendIPC(bool_t blocking, bool_t do_call, word_t badge,
29 void sendIPC(bool_t blocking, bool_t do_call, word_t badge,
36 void cancelBadgedSends(endpoint_t *epptr, word_t badge);
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h435 seL4_Word badge; local
439 x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, MCS_COND(reply, &mr1));
446 *sender = badge;
461 seL4_Word badge; local
465 x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, MCS_COND(reply, &msg1));
478 *sender = badge;
491 seL4_Word badge; local
495 x86_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &mr0, MCS_COND(reply, &mr1));
503 *sender = badge;
513 seL4_Word badge; local
531 seL4_Word badge; local
550 seL4_Word badge; local
625 seL4_Word badge; local
655 seL4_Word badge; local
691 seL4_Word badge; local
713 seL4_Word badge; local
740 seL4_Word badge; local
759 seL4_Word badge; local
790 seL4_Word badge; local
[all...]
/seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h86 seL4_Word badge; local
92 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, LIBSEL4_MCS_REPLY);
100 *sender = badge;
115 seL4_Word badge; local
121 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
137 *sender = badge;
150 seL4_Word badge; local
156 x64_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, LIBSEL4_MCS_REPLY);
164 *sender = badge;
174 seL4_Word badge; local
198 seL4_Word badge; local
229 seL4_Word badge; local
317 seL4_Word badge; local
349 seL4_Word badge; local
396 seL4_Word badge; local
422 seL4_Word badge; local
468 seL4_Word badge; local
499 seL4_Word badge; local
559 seL4_Word badge; local
[all...]
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h435 seL4_Word badge; local
439 x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, MCS_COND(reply, &mr1));
446 *sender = badge;
461 seL4_Word badge; local
465 x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, MCS_COND(reply, &msg1));
478 *sender = badge;
491 seL4_Word badge; local
495 x86_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &mr0, MCS_COND(reply, &mr1));
503 *sender = badge;
513 seL4_Word badge; local
531 seL4_Word badge; local
550 seL4_Word badge; local
625 seL4_Word badge; local
655 seL4_Word badge; local
691 seL4_Word badge; local
713 seL4_Word badge; local
740 seL4_Word badge; local
759 seL4_Word badge; local
790 seL4_Word badge; local
[all...]
/seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h86 seL4_Word badge; local
92 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, LIBSEL4_MCS_REPLY);
100 *sender = badge;
115 seL4_Word badge; local
121 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
137 *sender = badge;
150 seL4_Word badge; local
156 x64_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, LIBSEL4_MCS_REPLY);
164 *sender = badge;
174 seL4_Word badge; local
198 seL4_Word badge; local
229 seL4_Word badge; local
317 seL4_Word badge; local
349 seL4_Word badge; local
396 seL4_Word badge; local
422 seL4_Word badge; local
468 seL4_Word badge; local
499 seL4_Word badge; local
559 seL4_Word badge; local
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dpid.c96 pid_get_pcb_from_badge(struct pid_list *p, uint32_t badge) argument
98 if (badge < PID_BADGE_BASE) {
101 return pid_get_pcb(p, badge - PID_BADGE_BASE);

Completed in 137 milliseconds

12345