Searched refs:data (Results 126 - 150 of 544) sorted by relevance

1234567891011>>

/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/plat/linux/
H A Dmodule.c14 const char *dev_name, void *data)
16 return mount_bdev(fs_type, flags, dev_name, data, skelfs_fill_super);
13 skelfs_mount(struct file_system_type *fs_type, int flags, const char *dev_name, void *data) argument
/seL4-camkes-master/projects/musllibc/src/crypt/
H A Dcrypt_r.c12 char *__crypt_r(const char *key, const char *salt, struct crypt_data *data) argument
18 char *output = (char *)data;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgpio_utils.c116 int gpio_chain_io_callback(void *data, void *token) argument
118 gpio_t *gpio = data;
148 int gpio_chain_read(gpio_chain_t *chain, char *data, int len) argument
150 if (!chain || !data) {
155 struct gpio_callback_token cb_token = { .is_read = true, .buffer = data, .bits_processed = 0,
167 int gpio_chain_write(gpio_chain_t *chain, const char *data, int len) argument
169 if (!chain || !data) {
174 struct gpio_callback_token cb_token = { .is_read = false, .buffer = data, .bits_processed = 0,
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_1/
H A Dcan_frame_1.h24 unsigned int data[5U]; member in struct:t1
28 unsigned int data[2U]; member in struct:t2
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c59 static size_t get_num_irqs(void *data) argument
61 assert(data != NULL);
67 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument
70 assert(data != NULL);
74 pc99_ltimer_t *pc99_ltimer = data;
79 static size_t get_num_pmems(void *data) argument
81 assert(data != NULL);
82 pc99_ltimer_t *pc99_ltimer = data;
87 static int hpet_ltimer_get_nth_pmem(void *data, size_t n, pmem_region_t *pmem) argument
89 assert(data !
147 handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
166 hpet_ltimer_get_time(void *data, uint64_t *time) argument
176 pit_ltimer_get_time(void *data, uint64_t *time) argument
183 get_resolution(void *data, uint64_t *resolution) argument
188 hpet_ltimer_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
206 pit_ltimer_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
248 pit_ltimer_reset(void *data) argument
256 hpet_ltimer_reset(void *data) argument
267 destroy(void *data) argument
[all...]
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Ddemand.c71 unsigned char data[1]; member in struct:packet
303 memcpy(pkt->data, frame, len);
338 if (PPP_PROTOCOL(pkt->data) == proto) {
342 iphdr = (pkt->data[4] & 15) << 2;
343 checksum = *((unsigned short *) (pkt->data+14));
349 if (pkt->data[13] == 17) {
350 pkt_checksum = *((unsigned short *) (pkt->data+10+iphdr));
362 if (pkt->data[13] == 6) {
363 pkt_checksum = *((unsigned short *) (pkt->data+20+iphdr));
371 checksum -= *((unsigned short *) (pkt->data
[all...]
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Devents.c32 void *data; member in struct:_ev_action_t
37 void default_handler(evtchn_port_t port, struct pt_regs *regs, void *data);
53 void *data)
91 ev_actions[i].data = NULL;
125 action->handler(port, regs, action->data);
132 void *data)
139 ev_actions[port].data = data;
162 ev_actions[port].data = NULL;
174 void *data)
52 minios_evtdev_handler(evtchn_port_t port, struct pt_regs * regs, void *data) argument
131 minios_bind_evtchn(evtchn_port_t port, evtchn_handler_t handler, void *data) argument
173 minios_bind_virq(uint32_t virq, evtchn_handler_t handler, void *data) argument
192 minios_bind_pirq(uint32_t pirq, int will_share, evtchn_handler_t handler, void *data) argument
270 minios_evtchn_alloc_unbound(domid_t pal, evtchn_handler_t handler, void *data, evtchn_port_t *port) argument
291 minios_evtchn_bind_interdomain(domid_t pal, evtchn_port_t remote_port, evtchn_handler_t handler, void *data, evtchn_port_t *local_port) argument
[all...]
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/array/
H A Dsize.hpp25 # define MSGPACK_PP_ARRAY_SIZE_II(size, data) size
H A Dto_tuple.hpp16 # include <msgpack/preprocessor/array/data.hpp>
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/list/
H A Dto_seq.hpp24 # define MSGPACK_PP_LIST_TO_SEQ_MACRO(r, data, elem) (elem)
/seL4-camkes-master/tools/riscv-pk/dummy_payload/
H A Ddummy_entry.S21 .data
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dconsole.h75 void minios_console_print(struct consfront_dev *dev, char *data, int length);
82 int xencons_ring_send(struct consfront_dev *dev, const char *data, unsigned len);
83 int xencons_ring_send_no_notify(struct consfront_dev *dev, const char *data, unsigned len);
85 int xencons_ring_recv(struct consfront_dev *dev, char *data, unsigned len);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vcpu_fault.h39 * Get the data of the current vcpu fault
47 * Get data mask of the current vcpu fault
70 * @function set_vcpu_fault_data(vcpu, data)
71 * Set the data of the current vcpu fault
73 * @param {seL4_Word} data Data to set for current vcpu fault
76 int set_vcpu_fault_data(vm_vcpu_t *vcpu, seL4_Word data);
79 * @function emulate_vcpu_fault(vcpu, data)
80 * Emulate a read or write fault on a given data value
82 * @param {seL4_Word} data Data to perform emulate fault on
83 * @return Emulation result of vcpu fault over given data valu
[all...]
/seL4-camkes-master/projects/camkes/apps/dhcp/src/
H A Dutil.h13 /* Generate a MAC-like address from some arbitrary string data. */
14 uint64_t make_mac(const char *data);
/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c29 int simple_vka_cspace_alloc(void *data, seL4_CPtr *slot) argument
31 assert(data && slot);
33 simple_t *simple = data;
58 void simple_vka_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *path) argument
60 assert(data && path);
62 simple_t *simple = data;
74 vka->data = simple;
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Dpack.h35 typedef int (*msgpack_packer_write)(void* data, const char* buf, size_t len);
38 void* data; member in struct:msgpack_packer
42 static void msgpack_packer_init(msgpack_packer* pk, void* data, msgpack_packer_write callback);
44 static msgpack_packer* msgpack_packer_new(void* data, msgpack_packer_write callback);
119 return (*(user)->callback)((user)->data, (const char*)buf, len)
123 inline void msgpack_packer_init(msgpack_packer* pk, void* data, msgpack_packer_write callback) argument
125 pk->data = data;
129 inline msgpack_packer* msgpack_packer_new(void* data, msgpack_packer_write callback) argument
133 msgpack_packer_init(pk, data, callbac
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h34 * @param data cookie for the underlying implementation
41 typedef seL4_Error (*arch_simple_get_IOPort_cap_fn)(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth);
47 * @param data cookie for the underlying implementation
52 typedef seL4_Error (*arch_simple_get_msi_fn)(void *data, seL4_CNode root, seL4_Word index,
57 typedef seL4_Error (*arch_simple_get_ioapic_fn)(void *data, seL4_CNode root, seL4_Word index,
66 * @param data cookie for the underlying implementation
71 typedef seL4_Error (*arch_simple_get_IRQ_handler_fn)(void *data, int irq, seL4_CNode cnode, seL4_Word index,
78 * @param data cookie for the underlying implementation
84 typedef seL4_Error (*arch_simple_get_iospace_fn)(void *data, uint16_t domainID, uint16_t deviceID,
90 void *data; member in struct:arch_simple
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_vcpu_fault_arch.c31 unsigned int data; local
32 vm_get_thread_context_reg(vcpu, vcpu_reg, &data);
33 return data;
74 int set_vcpu_fault_data(vm_vcpu_t *vcpu, seL4_Word data) argument
81 return vm_set_thread_context_reg(vcpu, vcpu_reg, data);
/seL4-camkes-master/projects/camkes/apps/vgatest/components/VGADriver/
H A Dvgadriver.c93 void terminal_write(const char* data, size_t size) { argument
95 terminal_putchar(data[i]);
98 void terminal_writestring(const char* data) { argument
99 terminal_write(data, strlen(data));
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Di2c.h93 * slave data structure.
155 int (*slave_read)(i2c_slave_t *i2c_slave, void *data, size_t size,
158 int (*slave_write)(i2c_slave_t *i2c_slave, const void *data, size_t size,
275 * slave data structure.
301 * @param[in] dsize The data word size in bytes
345 * @param[in] token Client-specific data that the driver returns unchanged.
402 * @param[in] data A address to store the recieved data
408 static inline int i2c_read(i2c_bus_t *i2c_bus, void *data, size_t size, argument
414 return i2c_bus->read(i2c_bus, data, siz
426 i2c_write(i2c_bus_t *i2c_bus, const void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
517 i2c_slave_read(i2c_slave_t *i2c_slave, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
537 i2c_slave_write(i2c_slave_t *i2c_slave, const void *data, int size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
549 i2c_handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t ack, void *ack_data) argument
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/src/
H A Dvchan_component.c80 int libvchan_write(libvchan_t *ctrl, const void *data, size_t size) argument
82 return libvchan_readwrite(ctrl, (void *) data, size, VCHAN_SEND, VCHAN_STREAM);
85 int libvchan_read(libvchan_t *ctrl, void *data, size_t size) argument
87 return libvchan_readwrite(ctrl, data, size, VCHAN_RECV, VCHAN_STREAM);
90 int libvchan_send(libvchan_t *ctrl, const void *data, size_t size) argument
92 return libvchan_readwrite(ctrl, (void *) data, size, VCHAN_SEND, VCHAN_NOSTREAM);
95 int libvchan_recv(libvchan_t *ctrl, void *data, size_t size) argument
97 return libvchan_readwrite(ctrl, data, size, VCHAN_RECV, VCHAN_NOSTREAM);
152 int libvchan_readwrite(libvchan_t *ctrl, void *data, size_t size, int cmd, int stream) argument
161 How data i
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/
H A Dgdb.c101 static unsigned char compute_checksum(char *data, int length) argument
105 checksum += (unsigned char) data[i];
188 char *command_ptr = &buf.data[COMMAND_START];
191 char *checksum = &buf.data[buf.checksum_index + 1];
192 // Calculate checksum of data
259 // Buffer for raw data
260 delegate_mem_range_t data; local
261 // Buffer for data formatted as hex string
267 err = delegate_read_memory(addr, length, &data);
272 // Format the data
306 delegate_mem_range_t data; local
334 delegate_mem_range_t data = {0}; local
419 char data[buf_len]; local
465 char data[buf_len]; local
485 seL4_UserContext data; local
508 seL4_Word data; local
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dsys_socket.c37 fdt->data = malloc(sizeof(int));
38 *(int *)fdt->data = sock_socket(domain, type, protocol);
59 sockfd = *(int *)fdt->data;
81 sockfd = *(int *)fdt->data;
101 sockfd = *(int *)fdt->data;
123 sockfd = *(int *)fdt->data;
150 fdt->data = malloc(sizeof(int));
151 *(int *)fdt->data = newsockfd;
176 sockfd = *(int *)fdt->data;
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Dhashtable_seed.c1 /* Generate sizeof(uint32_t) bytes of as random data as possible to seed
51 static UNUSED uint32_t buf_to_uint32(char *data) { argument
56 result = (result << 8) | (unsigned char)data[i];
69 char data[sizeof(uint32_t)]; local
78 ok = read(urandom, data, sizeof(uint32_t)) == sizeof(uint32_t);
87 ok = fread(data, 1, sizeof(uint32_t), urandom) == sizeof(uint32_t);
94 *seed = buf_to_uint32(data);
114 BYTE data[sizeof(uint32_t)]; local
136 ok = pCryptGenRandom(hCryptProv, sizeof(uint32_t), data);
142 *seed = buf_to_uint32((char *)data);
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dpmic.c62 pmic_reg_read(pmic_t* pmic, uint8_t reg, void* data, int count) argument
64 return !(i2c_kvslave_read(&pmic->kvslave, reg, data, count) == count);
68 pmic_reg_write(pmic_t* pmic, uint8_t reg, const void* data, int count) argument
70 return !(i2c_kvslave_write(&pmic->kvslave, reg, data, count) == count);
140 /* Generate the register data */
209 uint8_t data; local
210 if (pmic_reg_read(pmic, REG_RESET_DELAY, &data, 1)) {
213 return 1000 * (data >> 1);
220 uint8_t data; local
227 /* Write the data */
239 uint8_t data; local
[all...]

Completed in 185 milliseconds

1234567891011>>