/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
H A D | server.c | 324 tx_msg_t *msg; local 327 msg = client_socket->async_transport->tx_pending_queue; 328 msg->done_len = -1; 329 client_socket->async_transport->tx_pending_queue = msg->next; 330 if (client_socket->async_transport->tx_pending_queue_end == msg) { 333 tx_complete(msg->cookie_save, 0); 338 msg = client_socket->async_transport->rx_pending_queue; 339 msg->done_len = -1; 340 client_socket->async_transport->rx_pending_queue = msg->next; 341 if (client_socket->async_transport->rx_pending_queue_end == msg) { 591 tx_msg_t *msg = client_socket->async_transport->tx_pending_queue; local 640 tx_msg_t *msg = DECODE_DMA_ADDRESS(buf); local 722 tx_msg_t *msg = client_socket->async_transport->rx_pending_queue; local 772 tx_msg_t *msg = DECODE_DMA_ADDRESS(buf); local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/c/ |
H A D | speed_test_uint32_array.c | 9 msgpack_unpacked msg; local 23 msgpack_unpacked_init(&msg); 25 while (msgpack_unpack_next(&msg, buf.data, buf.size, &upk_pos)) {
|
H A D | speed_test_uint64_array.c | 10 msgpack_unpacked msg; local 24 msgpack_unpacked_init(&msg); 26 while (msgpack_unpack_next(&msg, buf.data, buf.size, &upk_pos)) {
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | exception.py | 28 msg = self._format_message(message, entity.location.filename, 32 msg = self._format_message(message) 33 super(ASTError, self).__init__(msg)
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | exception.py | 27 msg = self._format_message(content, entity.location.filename, 31 msg = self._format_message(content) 32 super(TemplateError, self).__init__(msg)
|
/seL4-camkes-master/projects/picotcp/test/python/ |
H A D | zmq_linux.py | 28 msg = z.recv() variable 29 print "Recvd msg len=%d content: %s" % (len(msg), msg)
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/xenbus/ |
H A D | xenbus.c | 164 char *res, *msg; local 167 msg = xenbus_read(XBT_NIL, path, &res); 168 if(msg) return msg; 182 char *msg = NULL; local 191 msg = xenbus_transaction_start(&xbt); 192 if (msg) goto exit; 196 msg = xenbus_read(xbt, path, ¤t_state); 197 if (msg) goto exit; 202 msg 227 char *res, *msg; local 249 struct xsd_sockmsg msg; local 558 char msg[] = "No reply"; local 572 xenbus_debug_msg(const char *msg) argument 594 char **res, *msg; local 622 char *res, *msg; local 644 char *msg; local 663 char *msg; local 696 char *msg; local 721 char *msg; local 734 char *res, *msg; local 758 char *msg; local 864 char **dirs, *msg; local 884 char *res, *msg; local 898 char *msg; local 911 char *msg; local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/ |
H A D | check_container_size.hpp | 23 explicit container_size_overflow(const std::string& msg) argument 24 :std::runtime_error(msg) {} 26 explicit container_size_overflow(const char* msg): argument 27 std::runtime_error(msg) {}
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/debug/ |
H A D | assert.hpp | 39 # define MSGPACK_PP_ASSERT_MSG(cond, msg) MSGPACK_PP_ASSERT_MSG_D(cond, msg) 42 # define MSGPACK_PP_ASSERT_MSG_D(cond, msg) MSGPACK_PP_EXPR_IIF(MSGPACK_PP_NOT(cond), msg)
|
/seL4-camkes-master/projects/musllibc/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-camkes-master/projects/musllibc/src/ipc/ |
H A D | msgget.c | 1 #include <sys/msg.h>
|
H A D | msgctl.c | 1 #include <sys/msg.h>
|
H A D | msgrcv.c | 1 #include <sys/msg.h>
|
H A D | msgsnd.c | 1 #include <sys/msg.h>
|
/seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/ |
H A D | client.h | 25 int udp_socket_handle_async_received(tx_msg_t *msg); 26 int udp_socket_handle_async_sent(tx_msg_t *msg); 27 int tcp_socket_handle_async_received(tx_msg_t *msg); 28 int tcp_socket_handle_async_sent(tx_msg_t *msg);
|
/seL4-camkes-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...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | pack_unpack.cpp | 58 msgpack::unpacked msg = msgpack::unpack(sbuf.data(), sbuf.size()); local 59 EXPECT_EQ(1, msg.get().as<int>()); 69 msgpack::unpacked msg = msgpack::unpack(sbuf.data(), sbuf.size(), off); local 70 EXPECT_EQ(1, msg.get().as<int>()); 80 msgpack::unpacked msg = msgpack::unpack(sbuf.data(), sbuf.size(), referenced); local 81 EXPECT_EQ(1, msg.get().as<int>()); 92 msgpack::unpacked msg = msgpack::unpack(sbuf.data(), sbuf.size(), off, referenced); local 93 EXPECT_EQ(1, msg.get().as<int>()); 103 msgpack::unpacked msg; local 105 msgpack::unpack(msg, sbu 113 msgpack::unpacked msg; local 126 msgpack::unpacked msg; local 138 msgpack::unpacked msg; local 153 msgpack::unpacked msg; local 167 msgpack::unpacked msg; local 181 msgpack::unpacked msg; local 194 msgpack::unpacked msg; local 210 msgpack::unpacked msg; local 276 msgpack::unpacked msg; local 295 msgpack::unpacked msg; local 328 msgpack::unpacked msg; local 346 msgpack::unpacked msg; local 364 msgpack::unpacked msg; local 384 msgpack::unpacked msg; local 437 msgpack::unpacked msg = msgpack::unpack(sbuf.data(), sbuf.size() + 1); local 460 msgpack::unpacked msg = msgpack::unpack(sbuf.data(), sbuf.size(), off); local [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | error.c | 37 size_t position, const char *msg, ...) 41 va_start(ap, msg); 42 jsonp_error_vset(error, line, column, position, msg, ap); 47 size_t position, const char *msg, va_list ap) 61 vsnprintf(error->text, JSON_ERROR_TEXT_LENGTH, msg, ap); 36 jsonp_error_set(json_error_t *error, int line, int column, size_t position, const char *msg, ...) argument 46 jsonp_error_vset(json_error_t *error, int line, int column, size_t position, const char *msg, va_list ap) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | vm.c | 87 static void vm_update_guest_state_from_interrupt(vm_vcpu_t *vcpu, seL4_Word *msg) argument 89 vcpu->vcpu_arch.guest_state->machine.eip = msg[SEL4_VMENTER_CALL_EIP_MR]; 90 vcpu->vcpu_arch.guest_state->machine.control_ppc = msg[SEL4_VMENTER_CALL_CONTROL_PPC_MR]; 91 vcpu->vcpu_arch.guest_state->machine.control_entry = msg[SEL4_VMENTER_CALL_CONTROL_ENTRY_MR]; 94 static void vm_update_guest_state_from_fault(vm_vcpu_t *vcpu, seL4_Word *msg) argument 99 vm_update_guest_state_from_interrupt(vcpu, msg); 101 vcpu->vcpu_arch.guest_state->exit.reason = msg[SEL4_VMENTER_FAULT_REASON_MR]; 102 vcpu->vcpu_arch.guest_state->exit.qualification = msg[SEL4_VMENTER_FAULT_QUALIFICATION_MR]; 103 vcpu->vcpu_arch.guest_state->exit.instruction_length = msg[SEL4_VMENTER_FAULT_INSTRUCTION_LEN_MR]; 104 vcpu->vcpu_arch.guest_state->exit.guest_physical = msg[SEL4_VMENTER_FAULT_GUEST_PHYSICAL_M [all...] |
/seL4-camkes-master/projects/picotcp/include/arch/ |
H A D | pico_atsamd21j18.h | 29 char msg[128] = { 0 }; local 32 vsnprintf(msg, 256, format, args); 34 print_uart(msg);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4nanopb/src/ |
H A D | common.c | 15 char *msg_buffer = (char *) & (seL4_GetIPCBuffer()->msg[offset]); 22 char *msg_buffer = (char *) & (seL4_GetIPCBuffer()->msg[offset]);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/include/sel4rpc/ |
H A D | client.h | 20 int sel4rpc_call(sel4rpc_client_t *client, RpcMessage *msg, seL4_CPtr root,
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/ |
H A D | server.c | 25 if (rpcMsg->msg.memory.action == Action_ALLOCATE) { 34 error = vka_utspace_alloc_at(env->vka, &path, rpcMsg->msg.memory.type, rpcMsg->msg.memory.size_bits, 35 rpcMsg->msg.memory.address, &cookie); 51 vka_utspace_free(env->vka, rpcMsg->msg.memory.type, rpcMsg->msg.memory.size_bits, 52 rpcMsg->msg.memory.address); 69 seL4_Error err = simple_get_IOPort_cap(env->simple, rpcMsg->msg.ioport.start, rpcMsg->msg.ioport.end, 97 switch (rpcMsg->msg [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
H A D | busdev_user.c | 102 if (trans->tx_id == dc->wbuf.msg.tx_id) 171 dc->wbuf.buffer + sizeof(dc->wbuf.msg), 172 dc->wbuf_used - sizeof(dc->wbuf.msg), 175 make_request(dc, req, dc->wbuf.msg.tx_id, &wreq, 1); 193 watch_message_parse(const struct xsd_sockmsg *msg, argument 196 const char *begin = (const char*)msg; 197 const char *p = begin + sizeof(*msg); 198 const char *end = p + msg->len; 217 dc,du, dc->wbuf.msg.type)); 224 req->user_id = dc->wbuf.msg 402 struct xsd_sockmsg *msg = req->xb.reply; local [all...] |
/seL4-camkes-master/projects/lwip/test/unit/arch/ |
H A D | sys_arch.c | 250 sys_mbox_post(sys_mbox_t *q, void *msg) argument 260 q->q_mem[q->head] = msg; 270 sys_mbox_trypost(sys_mbox_t *q, void *msg) argument 282 sys_mbox_post(q, msg); 287 sys_mbox_trypost_fromisr(sys_mbox_t *q, void *msg) argument 289 return sys_mbox_trypost(q, msg); 293 sys_arch_mbox_fetch(sys_mbox_t *q, void **msg, u32_t timeout) argument 328 if(msg) { 329 *msg = NULL; 337 ret2 = sys_arch_mbox_tryfetch(q, msg); 343 sys_arch_mbox_tryfetch(sys_mbox_t *q, void **msg) argument [all...] |