/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | herror.c | 5 void herror(const char *msg) argument 7 fprintf(stderr, "%s%s%s", msg?msg:"", msg?": ":"", hstrerror(h_errno));
|
H A D | recvmsg.c | 6 ssize_t recvmsg(int fd, struct msghdr *msg, int flags) argument 10 struct msghdr h, *orig = msg; 11 if (msg) { 12 h = *msg; 14 msg = &h; 17 r = socketcall_cp(recvmsg, fd, msg, flags, 0, 0, 0);
|
H A D | res_send.c | 6 int __res_send(const unsigned char *msg, int msglen, unsigned char *answer, int anslen) argument 8 int r = __res_msend(1, &msg, &msglen, &answer, &anslen, anslen);
|
H A D | sendmsg.c | 8 ssize_t sendmsg(int fd, const struct msghdr *msg, int flags) argument 13 if (msg) { 14 h = *msg; 16 msg = &h; 29 return socketcall_cp(sendmsg, fd, msg, flags, 0, 0, 0);
|
/seL4-refos-master/libs/libmuslc/src/locale/ |
H A D | __lctrans.c | 5 static const char *dummy(const char *msg, const struct __locale_map *lm) argument 7 return msg; 12 const char *__lctrans(const char *msg, const struct __locale_map *lm) argument 14 return __lctrans_impl(msg, lm); 17 const char *__lctrans_cur(const char *msg) argument 19 return __lctrans_impl(msg, CURRENT_LOCALE->cat[LC_MESSAGES]);
|
/seL4-refos-master/libs/libmuslc/src/signal/ |
H A D | psignal.c | 5 void psignal(int sig, const char *msg) argument 8 if (msg) fprintf(stderr, "%s: %s\n", msg, s);
|
H A D | psiginfo.c | 5 void psiginfo(const siginfo_t *si, const char *msg) argument 8 if (msg) fprintf(stderr, "%s: %s\n", msg, s);
|
/seL4-refos-master/libs/libmuslc/src/mq/ |
H A D | mq_send.c | 3 int mq_send(mqd_t mqd, const char *msg, size_t len, unsigned prio) argument 5 return mq_timedsend(mqd, msg, len, prio, 0);
|
H A D | mq_receive.c | 3 ssize_t mq_receive(mqd_t mqd, char *msg, size_t len, unsigned *prio) argument 5 return mq_timedreceive(mqd, msg, len, prio, 0);
|
H A D | mq_timedreceive.c | 4 ssize_t mq_timedreceive(mqd_t mqd, char *restrict msg, size_t len, unsigned *restrict prio, const struct timespec *restrict at) argument 6 return syscall_cp(SYS_mq_timedreceive, mqd, msg, len, prio, at);
|
H A D | mq_timedsend.c | 4 int mq_timedsend(mqd_t mqd, const char *msg, size_t len, unsigned prio, const struct timespec *at) argument 6 return syscall_cp(SYS_mq_timedsend, mqd, msg, len, prio, at);
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | perror.c | 6 void perror(const char *msg) argument 13 if (msg && *msg) { 14 fwrite(msg, strlen(msg), 1, f);
|
/seL4-refos-master/libs/libmuslc/src/string/ |
H A D | strerror_r.c | 7 char *msg = strerror(err); local 8 size_t l = strlen(msg); 11 memcpy(buf, msg, buflen-1); 16 memcpy(buf, msg, l+1);
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | console_server.c | 64 @param msg The recieved message. (No ownership transfer) 68 console_server_handle_message(struct conserv_state *s, srv_msg_t *msg) argument 74 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) { 78 if (dev_dispatch_interrupt(&s->irqState, msg) == DISPATCH_SUCCESS) { 86 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 92 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 99 msg->badge, seL4_MessageInfo_get_label(msg->message), label); 112 srv_msg_t msg; local 115 msg [all...] |
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
H A D | timer_server.c | 55 @param msg The recieved message. (No ownership transfer) 59 timer_server_handle_message(struct timeserv_state *s, srv_msg_t *msg) argument 65 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) { 69 if (dev_dispatch_interrupt(&timeServ.irqState, msg) == DISPATCH_SUCCESS) { 77 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 83 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 90 msg->badge, seL4_MessageInfo_get_label(msg->message), label); 103 srv_msg_t msg; local 106 msg [all...] |
/seL4-refos-master/apps/console_server/src/ |
H A D | console_server.c | 64 @param msg The recieved message. (No ownership transfer) 68 console_server_handle_message(struct conserv_state *s, srv_msg_t *msg) argument 74 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) { 78 if (dev_dispatch_interrupt(&s->irqState, msg) == DISPATCH_SUCCESS) { 86 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 92 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 99 msg->badge, seL4_MessageInfo_get_label(msg->message), label); 112 srv_msg_t msg; local 115 msg [all...] |
/seL4-refos-master/apps/timer_server/src/ |
H A D | timer_server.c | 55 @param msg The recieved message. (No ownership transfer) 59 timer_server_handle_message(struct timeserv_state *s, srv_msg_t *msg) argument 65 if (dispatch_client_watch(msg) == DISPATCH_SUCCESS) { 69 if (dev_dispatch_interrupt(&timeServ.irqState, msg) == DISPATCH_SUCCESS) { 77 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 83 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 90 msg->badge, seL4_MessageInfo_get_label(msg->message), label); 103 srv_msg_t msg; local 106 msg [all...] |
/seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
H A D | file_server.c | 75 @param msg The received message. (No ownership transfer) 79 fileserv_handle_message(struct fs_state *s, srv_msg_t *msg) argument 86 if (dispatch_notification(msg) == DISPATCH_SUCCESS) { 90 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 96 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 103 msg->badge, seL4_MessageInfo_get_label(msg->message), label, label); 116 srv_msg_t msg; local 120 msg.message = seL4_Recv(fileServCommon->anonEP, &msg [all...] |
/seL4-refos-master/apps/file_server/src/ |
H A D | file_server.c | 75 @param msg The received message. (No ownership transfer) 79 fileserv_handle_message(struct fs_state *s, srv_msg_t *msg) argument 86 if (dispatch_notification(msg) == DISPATCH_SUCCESS) { 90 if (check_dispatch_serv(msg, &userptr) == DISPATCH_SUCCESS) { 96 if (check_dispatch_data(msg, &userptr) == DISPATCH_SUCCESS) { 103 msg->badge, seL4_MessageInfo_get_label(msg->message), label, label); 116 srv_msg_t msg; local 120 msg.message = seL4_Recv(fileServCommon->anonEP, &msg [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | main.c | 66 @param msg The process server recieved message info. 69 proc_server_handle_message(struct procserv_state *s, struct procserv_msg *msg) argument 77 if (check_dispatch_syscall(msg, &userptr) == DISPATCH_SUCCESS) { 86 if (check_dispatch_fault(msg, &userptr) == DISPATCH_SUCCESS) { 87 result = dispatch_vm_fault(msg, &userptr); 93 if (check_dispatch_dataspace(msg, &userptr) == DISPATCH_SUCCESS) { 101 if (check_dispatch_nameserv(msg, &userptr) == DISPATCH_SUCCESS) { 109 msg->badge, seL4_MessageInfo_get_label(msg->message), label); 126 struct procserv_msg msg local [all...] |
/seL4-refos-master/apps/process_server/src/ |
H A D | main.c | 66 @param msg The process server recieved message info. 69 proc_server_handle_message(struct procserv_state *s, struct procserv_msg *msg) argument 77 if (check_dispatch_syscall(msg, &userptr) == DISPATCH_SUCCESS) { 86 if (check_dispatch_fault(msg, &userptr) == DISPATCH_SUCCESS) { 87 result = dispatch_vm_fault(msg, &userptr); 93 if (check_dispatch_dataspace(msg, &userptr) == DISPATCH_SUCCESS) { 101 if (check_dispatch_nameserv(msg, &userptr) == DISPATCH_SUCCESS) { 109 msg->badge, seL4_MessageInfo_get_label(msg->message), label); 126 struct procserv_msg msg local [all...] |
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | locale_impl.h | 27 #define LCTRANS(msg, lc, loc) __lctrans(msg, (loc)->cat[(lc)]) 28 #define LCTRANS_CUR(msg) __lctrans_cur(msg)
|
/seL4-refos-master/libs/libmuslc/src/ipc/ |
H A D | msgget.c | 1 #include <sys/msg.h>
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | attribute.h | 40 #define DEPRECATED(msg) __attribute__((deprecated(msg))) 42 #define ERROR(msg) __attribute__((unavailable(msg))) 44 #define ERROR(msg) __attribute__((error(msg))) 47 #define ERROR(msg) __COMPILE_TIME_ERROR_SUPPORT_UNAVAILABLE(msg) 71 #define WARNING(msg) __attribute__((warning(msg))) [all...] |
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | attribute.h | 40 #define DEPRECATED(msg) __attribute__((deprecated(msg))) 42 #define ERROR(msg) __attribute__((unavailable(msg))) 44 #define ERROR(msg) __attribute__((error(msg))) 47 #define ERROR(msg) __COMPILE_TIME_ERROR_SUPPORT_UNAVAILABLE(msg) 71 #define WARNING(msg) __attribute__((warning(msg))) [all...] |