/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | sys_select.c | 36 sockfd = *(int *)fdt->data; 57 sockfd = *(int *)fdt->data; 75 sockfd = *(int *)fdt->data;
|
H A D | sys_io.c | 54 sock_close(*(int *)fds->data); 79 int sockfd = *(int *)fds->data; 117 int sockfd = *(int *)fds->data; 143 sockfd = *(int *)fdt->data;
|
H A D | io.c | 44 void *data; member in struct:ll_ 53 static UNUSED int ll_prepend(ps_malloc_ops_t *malloc_ops, ll_t **list, const void *data) argument 60 node->data = (void *)data; 66 static UNUSED int ll_append(ps_malloc_ops_t *malloc_ops, ll_t **list, const void *data) argument 73 node->data = (void *)data; 85 static UNUSED int ll_remove(ps_malloc_ops_t *malloc_ops, ll_t **list, const void *data) argument 88 if ((*l)->data == data) { [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_tftp.h | 63 int32_t pico_tftp_send(struct pico_tftp_session *session, const uint8_t *data, int32_t len); 80 int32_t pico_tftp_get(struct pico_tftp_session *session, uint8_t *data, int32_t len); 81 int32_t pico_tftp_put(struct pico_tftp_session *session, uint8_t *data, int32_t len);
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/ |
H A D | console.c | 80 void minios_console_print(struct consfront_dev *dev, char *data, int length) argument 86 int (*ring_send_fn)(struct consfront_dev *dev, const char *data, unsigned length); 95 bmk_memcpy(copied_ptr, data, length);
|
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | fs.c | 75 file->data = (const char *)f->data; 141 MEMCPY(buffer, (file->data + file->index), read);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | mux.c | 150 struct mux_feature_data *data = feature_data[mux_feature]; local 152 for (; data->port != GPIOPORT_NONE; data++) { 156 GPIOPORT_GET_BANK(data->port), 157 GPIOPORT_GET_PORT(data->port), 158 data->pin); 160 cfg = get_mux_cfg(mux, data->port); 163 exynos_mux_configure(cfg, data->pin, 164 MUXVALUE_CON(data->value), 165 MUXVALUE_PUD(data [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | fault.h | 50 /// The data which was to be written, or the data to return to the VM 51 seL4_Word data; member in struct:fault 79 * Populate an initialised fault structure with fault data obtained from 88 * Populate an initialised fault structure with fault data obtained from 128 * Updates user registers based on the data field of the fault struction 131 * @param[in] data The data word that the VM was attempting to access 138 * Emulates the faulting instruction of the VM on the provided data. 140 * an updated representation of the given data base [all...] |
/seL4-camkes-master/projects/lwip/src/netif/ppp/polarssl/ |
H A D | sha1.c | 86 static void sha1_process( sha1_context *ctx, const unsigned char data[64] ) 90 GET_ULONG_BE( W[ 0], data, 0 ); 91 GET_ULONG_BE( W[ 1], data, 4 ); 92 GET_ULONG_BE( W[ 2], data, 8 ); 93 GET_ULONG_BE( W[ 3], data, 12 ); 94 GET_ULONG_BE( W[ 4], data, 16 ); 95 GET_ULONG_BE( W[ 5], data, 20 ); 96 GET_ULONG_BE( W[ 6], data, 24 ); 97 GET_ULONG_BE( W[ 7], data, 28 ); 98 GET_ULONG_BE( W[ 8], data, 3 [all...] |
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/ |
H A D | sdhc.c | 204 if (cmd->data == NULL) { 207 if (cmd->data->pbuf == 0) { 258 if (cmd->data) { 266 val = (cmd->data->block_size & BLK_ATT_BLKSIZE_MASK); 267 val |= (cmd->data->blocks << BLK_ATT_BLKCNT_SHF); 271 val = cmd->data->block_size / 4; 284 if (cmd->data->blocks > 1) { 296 writel(cmd->data->pbuf, host->base + DS_ADDR); 299 host->blocks_remaining = cmd->data->blocks; 305 if (cmd->data) { [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/ |
H A D | array.hpp | 16 # include <msgpack/preprocessor/array/data.hpp>
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | unpack.h | 30 msgpack_object data; member in struct:msgpack_unpacked 45 const char* data, size_t len, size_t* off); 193 msgpack_unpack(const char* data, size_t len, size_t* off, 250 memset(&result->data, 0, sizeof(msgpack_object));
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | buffer.cpp | 17 EXPECT_TRUE( memcmp(sbuf.data(), "aaa", 3) == 0 ); 25 EXPECT_TRUE( memcmp(sbuf.data(), "aaa", 3) == 0 ); 45 EXPECT_TRUE( memcmp(sbuf.data(), "aaa", 3) == 0 ); 62 EXPECT_TRUE( memcmp(sbuf.data(), "aaa", 3) == 0 );
|
/seL4-camkes-master/projects/musllibc/include/ |
H A D | search.h | 18 void *data; member in struct:entry
|
/seL4-camkes-master/projects/musllibc/include/sys/ |
H A D | epoll.h | 49 epoll_data_t data; member in struct:epoll_event
|
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdt.h | 90 char data[0]; member in struct:fdt_property
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 54 /* data for cspace access */ 139 seL4_Word data = api_make_guard_skip_word(seL4_WordBits - simple_get_cnode_size_bits(simple)); local 141 return thread_config_cspace(config, simple_get_cnode(simple), data); 176 static inline sel4utils_thread_config_t thread_config_default(simple_t *simple, seL4_CPtr cnode, seL4_Word data, argument 180 config = thread_config_cspace(config, cnode, data);
|
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | syscall_header_gen.py | 213 data = template.render({'assembler': api, 'enum': api + debug, 215 kernel_header.write(data) 221 data = template.render({'enum': syscalls}) 222 libsel4_header.write(data)
|
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_header_gen.py | 213 data = template.render({'assembler': api, 'enum': api + debug, 215 kernel_header.write(data) 221 data = template.render({'enum': syscalls}) 222 libsel4_header.write(data)
|
/seL4-camkes-master/kernel/tools/ |
H A D | syscall_header_gen.py | 213 data = template.render({'assembler': api, 'enum': api + debug, 215 kernel_header.write(data) 221 data = template.render({'enum': syscalls}) 222 libsel4_header.write(data)
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_1/ |
H A D | variant_1.h | 31 unsigned int data[3U]; member in struct:t1
|
/seL4-camkes-master/projects/lwip/src/apps/http/makefsdata/ |
H A D | makefsdata | 56 print(OUTPUT "static const unsigned char data".$fvar."[] = {\n"); 65 while(read(FILE, $data, 1)) { 69 printf(OUTPUT "%#02x, ", unpack("C", $data)); 91 print(OUTPUT "const struct fsdata_file file".$fvar."[] = {{$prevfile, data$fvar, "); 92 print(OUTPUT "data$fvar + ". (length($file) + 1) .", "); 93 print(OUTPUT "sizeof(data$fvar) - ". (length($file) + 1) ."}};\n\n");
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | snmp_threadsync.h | 56 /** Thread sync runtime data. For internal usage only. */ 81 struct threadsync_data data; member in struct:snmp_threadsync_instance 105 /** Create thread sync instance data */
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | ioports.h | 104 * @function emulate_io_handler(io_port, port_no, is_in, size, data) 110 * @param {unsigned int *} data Pointer with the data being written if io-out op, otherwise will be populated with data from an io-in op 113 int emulate_io_handler(vmm_io_port_list_t *io_port, unsigned int port_no, bool is_in, size_t size, unsigned int *data);
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
H A D | protocol_new.cpp | 48 msgpack::unpack(result, buffer.data(), buffer.size()); 76 msgpack::unpack(result, buffer.data(), buffer.size());
|