/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
H A D | custom.cpp | 44 msgpack::unpack(result, sbuf.str().data(), sbuf.str().size()); 60 msgpack::unpack(result, sbuf.str().data(), sbuf.str().size());
|
H A D | reuse_zone.cpp | 34 msgpack::object obj = msgpack::unpack(z, ss.str().data(), ss.str().size(), offset); 39 std::string const& str = msgpack::unpack(z, ss.str().data(), ss.str().size(), offset).as<std::string>();
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/ |
H A D | private.h | 61 static inline void sel4bench_private_init(void* data) argument 69 static inline void sel4bench_private_deinit(void* data) argument
|
/seL4-camkes-master/projects/util_libs/libcpio/src/ |
H A D | cpio.c | 22 void *data; member in struct:cpio_header_info 114 void *data; local 148 /* Find offset to data. */ 149 data = (void *) align_up((unsigned long) archive + sizeof(struct cpio_header) + 151 next = (struct cpio_header *) align_up((unsigned long) data + filesize, CPIO_ALIGNMENT); 156 info->data = data; 163 * Get the location of the data in the n'th entry in the given archive file. 192 return header_info.data; 224 return header_info.data; [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/ |
H A D | teststrhash.py | 30 def sha256(self, data): 34 f.write(data)
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.debug.c | 139 int delegate_read_memory(seL4_Word addr, seL4_Word length, delegate_mem_range_t *data) { argument 147 memcpy(data->data, (void *)addr, length); 152 int delegate_write_memory(seL4_Word addr, seL4_Word length, delegate_mem_range_t data) { argument 161 memcpy((void *) addr, (void *) data.data, length); 203 int delegate_write_register(seL4_Word tcb_cap, seL4_Word data, seL4_Word reg_num) { argument 209 reg_word[reg_num] = data;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c_bitbang.c | 162 char data = 0; local 164 data <<= 1; 165 data |= (i2c_bb_readbit(d)) ? 1 : 0; 168 return data; 205 char* data = (char*)vdata; local 219 *data++ = i2c_bb_readbyte(d, count + 1 == size); 238 const char* data = (const char*)vdata; local 251 i2c_bb_sendbyte(d, *data++);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_chardev.c | 51 char* data = (char*) vdata; local 55 *data++ = ret;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
H A D | xadc.c | 38 #define FORMAT_XADC_COMMAND(command, address, data) (\ 39 (((data) & XADC_DATA_MASK) << XADC_DATA_OFFSET) |\
|
/seL4-camkes-master/projects/picotcp/test/python/ |
H A D | multicast_recv.py | 46 data = s_udp_recv.recv(4096) variable 47 #print data 48 if 'succeeded' in data:
|
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | cons.c | 81 static size_t cons_write(void* data, size_t count) { argument 83 vcons_putc(((char*)data)[i]);
|
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | yaml.py | 35 yaml.add_representer(int, lambda dumper, data: yaml.ScalarNode( 36 'tag:yaml.org,2002:int', hex(data)))
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_0/ |
H A D | can_frame_0.c | 7 return (*b).data[1U] >> 0U & 4294967295U; 15 return (*b).data[0U] >> 0U & 4294967295U;
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | fs.h | 66 const char *data; member in struct:fs_file 70 arbitrary data, e.g. holding some file state or file system handle */ 113 const unsigned char *data; member in struct:fsdata_file
|
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/ |
H A D | pppos.h | 58 PDDATA /* Process data byte. */ 62 typedef u32_t (*pppos_output_cb_fn)(ppp_pcb *pcb, u8_t *data, u32_t len, void *ctx); 74 /* -- below are data that will NOT be cleared between two sessions */ 78 /* -- below are data that will be cleared between two sessions 109 /* PPP over Serial: this is the input function to be called for received data. */ 110 void pppos_input(ppp_pcb *ppp, u8_t* data, int len);
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/ |
H A D | kernel_logging.h | 54 /* Returns the data field of a log entry. */ 64 /* Sets the data field of a log entry to a given value. */ 65 static inline void kernel_logging_entry_set_data(kernel_log_entry_t *entry, seL4_Word data) argument 68 entry->duration = data;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | guest_vcpu_fault_arch.c | 47 int set_vcpu_fault_data(vm_vcpu_t *vcpu, seL4_Word data) argument 50 fault_set_data(fault, data);
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | unpack.hpp | 65 * @param type msgpack data type. 66 * @param size msgpack data size. 69 * @return If the data should be referenced, then return true, otherwise (should be copied) false. 471 msgpack::object const& data() const function in class:msgpack::detail::context::msgpack 486 int execute(const char* data, std::size_t len, std::size_t& off); 603 inline int context::execute(const char* data, std::size_t len, std::size_t& off) argument 607 m_start = data; 608 m_current = data + off; 609 const char* const pe = data + len; 1055 * After copying the data t 1652 inline msgpack::object const& unpacker::data() function in class:msgpack::msgpack::unpacker 1732 unpack_imp(const char* data, std::size_t len, std::size_t& off, msgpack::zone& result_zone, msgpack::object& result, bool& referenced, unpack_reference_func f = nullptr, void* user_data = nullptr, unpack_limit const& limit = unpack_limit()) argument 1776 unpack( const char* data, std::size_t len, std::size_t& off, bool& referenced, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1803 unpack( const char* data, std::size_t len, std::size_t& off, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1811 unpack( const char* data, std::size_t len, bool& referenced, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1819 unpack( const char* data, std::size_t len, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1828 unpack(unpacked& result, const char* data, std::size_t len, std::size_t& off, bool& referenced, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1858 unpack(unpacked& result, const char* data, std::size_t len, std::size_t& off, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1866 unpack(unpacked& result, const char* data, std::size_t len, bool& referenced, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1874 unpack(unpacked& result, const char* data, std::size_t len, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1884 unpack( msgpack::zone& z, const char* data, std::size_t len, std::size_t& off, bool& referenced, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1911 unpack( msgpack::zone& z, const char* data, std::size_t len, std::size_t& off, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1920 unpack( msgpack::zone& z, const char* data, std::size_t len, bool& referenced, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1929 unpack( msgpack::zone& z, const char* data, std::size_t len, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument 1941 unpack(unpacked* result, const char* data, std::size_t len, std::size_t* off, bool* referenced, unpack_reference_func f, void* user_data, unpack_limit const& limit) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | serial.c | 165 static int uart_fill_fifo(ps_chardevice_t *d, const char *data, size_t len) argument 169 if (exynos_uart_putchar(d, *data++) < 0) { 178 if (d->write_descriptor.data) { 186 const char *data = (const char *)vdata; local 192 * data we can write and possibly free up the write 197 if (d->write_descriptor.data) { 202 sent = uart_fill_fifo(d, data, count); 209 d->write_descriptor.data = (void *)data + sent; 221 /* pipe more data ont 251 uart_read_fifo(ps_chardevice_t *d, char *data, size_t len) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
H A D | hsp.c | 82 static int hsp_destroy(void *data) argument 84 tx2_hsp_priv_t *hsp_priv = data; 95 "Failed to de-allocate the private data for HSP"); 100 static int hsp_doorbell_ring(void *data, enum tx2_doorbell_id db_id) argument 107 tx2_hsp_priv_t *hsp_priv = data; 117 static int hsp_doorbell_check(void *data, enum tx2_doorbell_id db_id) argument 124 tx2_hsp_priv_t *hsp_priv = data; 191 ZF_LOGE("Failed to allocate memory for private data for the HSP"); 238 hsp->data = hsp_priv;
|
/seL4-camkes-master/projects/capdl/cdl_utils/ |
H A D | capdl_linker.py | 39 data = template.render( 41 ccspace.write(data) 114 data = yaml.load(args.manifest_in, Loader=yaml.FullLoader) 115 assert 'cap_symbols' in data and 'region_symbols' in data, "Invalid file format" 119 manifest(data['cap_symbols'], data['region_symbols'], args.architecture, targets)
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | ethtool.h | 78 uint32_t eedump_len; /* Size of data from ETHTOOL_GEEPROM (bytes) */ 79 uint32_t regdump_len; /* Size of data from ETHTOOL_GREGS (bytes) */ 94 uint32_t data; member in struct:ethtool_value 97 /* for passing big chunks of data */ 102 uint8_t data[0]; member in struct:ethtool_regs 111 uint8_t data[0]; member in struct:ethtool_eeprom 260 /* for passing string sets for data tagging */ 265 uint8_t data[0]; member in struct:ethtool_gstrings 273 uint32_t data[0]; /* ETH_SS_xxx count, in order, based on bits member in struct:ethtool_sset_info 290 uint64_t data[ member in struct:ethtool_test 297 uint64_t data[0]; member in struct:ethtool_stats 303 uint8_t data[0]; member in struct:ethtool_perm_addr 406 char data[ETHTOOL_FLASH_MAX_FILENAME]; member in struct:ethtool_flash [all...] |
/seL4-camkes-master/kernel/src/arch/x86/object/ |
H A D | ioport.c | 216 static exception_t invokeX86PortOut(word_t invLabel, uint16_t port, uint32_t data) argument 220 out8(port, data); 223 out16(port, data); 226 out32(port, data); 280 /* We construct the value for data from raw_data based on the actual size of the port 281 operation. This ensures that there is no 'random' user data left over in the value 282 passed to invokeX86PortOut. Whilst invokeX86PortOut will ignore any extra data and 285 uint32_t data; local 290 data = raw_data & 0xff; 294 data [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | ethtool.h | 77 uint32_t eedump_len; /* Size of data from ETHTOOL_GEEPROM (bytes) */ 78 uint32_t regdump_len; /* Size of data from ETHTOOL_GREGS (bytes) */ 93 uint32_t data; member in struct:ethtool_value 96 /* for passing big chunks of data */ 101 uint8_t data[0]; member in struct:ethtool_regs 110 uint8_t data[0]; member in struct:ethtool_eeprom 259 /* for passing string sets for data tagging */ 264 uint8_t data[0]; member in struct:ethtool_gstrings 272 uint32_t data[0]; /* ETH_SS_xxx count, in order, based on bits member in struct:ethtool_sset_info 289 uint64_t data[ member in struct:ethtool_test 296 uint64_t data[0]; member in struct:ethtool_stats 302 uint8_t data[0]; member in struct:ethtool_perm_addr 405 char data[ETHTOOL_FLASH_MAX_FILENAME]; member in struct:ethtool_flash [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | process.h | 38 sel4utils_alloc_data_t data; member in struct:__anon560 108 * This is intended to be loaded by the crt into the data word of the ipc buffer, 245 * As above, except mint the cap with rights and data. 250 seL4_Word data); 289 seL4_CPtr sel4utils_process_init_cap(void *data, seL4_CPtr cap);
|