int check_dispatch_serv(srv_msg_t *m, void **userptr) { int label = seL4_GetMR(0); if (label == RPC_SERV_CONNECT_DIRECT && m->badge != 0) { return DISPATCH_PASS; } return check_dispatch_interface(m, userptr, RPC_SERV_LABEL_MIN, RPC_SERV_LABEL_MAX); }
int check_dispatch_dataspace(struct procserv_msg *m, void **userptr) { return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX); }
int check_dispatch_syscall(struct procserv_msg *m, void **userptr) { return check_dispatch_interface(m, userptr, RPC_PROC_LABEL_MIN, RPC_PROC_LABEL_MAX); }
int check_dispatch_data(srv_msg_t *m, void **userptr) { return check_dispatch_interface(m, userptr, RPC_DATA_LABEL_MIN, RPC_DATA_LABEL_MAX); }