/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | dispatcher.h | 31 #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 D | dispatcher.h | 31 #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 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-refos-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-refos-master/libs/librefos/src/ |
H A D | sync.c | 65 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 D | sync.c | 65 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 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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
H A D | client_watch.c | 20 #include "../badge.h" 50 if ((m->badge & CONSERV_ASYNC_BADGE_MASK) == 0) { 53 if ((m->badge & CONSERV_ASYNC_NOTIFY_BADGE) == 0) {
|
H A D | dispatch.c | 37 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 D | dispatch.c | 37 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 D | client_watch.c | 20 #include "../badge.h" 50 if ((m->badge & TIMESERV_ASYNC_BADGE_MASK) == 0) { 53 if ((m->badge & TIMESERV_ASYNC_NOTIFY_BADGE) == 0) {
|
H A D | dispatch.c | 37 if (m->badge) { 39 c = client_get_badge(&timeServCommon->clientTable, m->badge);
|
/seL4-refos-master/apps/console_server/src/dispatchers/ |
H A D | client_watch.c | 20 #include "../badge.h" 50 if ((m->badge & CONSERV_ASYNC_BADGE_MASK) == 0) { 53 if ((m->badge & CONSERV_ASYNC_NOTIFY_BADGE) == 0) {
|
H A D | dispatch.c | 37 if (m->badge) { 39 c = client_get_badge(&conServCommon->clientTable, m->badge);
|
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | dispatch.c | 37 if (m->badge) { 39 c = client_get_badge(&fileServCommon->clientTable, m->badge);
|
/seL4-refos-master/apps/timer_server/src/dispatchers/ |
H A D | client_watch.c | 20 #include "../badge.h" 50 if ((m->badge & TIMESERV_ASYNC_BADGE_MASK) == 0) { 53 if ((m->badge & TIMESERV_ASYNC_NOTIFY_BADGE) == 0) {
|
H A D | dispatch.c | 37 if (m->badge) { 39 c = client_get_badge(&timeServCommon->clientTable, m->badge);
|
/seL4-refos-master/kernel/include/object/ |
H A D | endpoint.h | 23 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 D | syscalls.h | 435 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 D | syscalls.h | 86 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 D | syscalls.h | 435 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 D | syscalls.h | 86 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 D | pid.c | 96 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);
|