/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/plat/linux/ |
H A D | module.c | 14 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 D | crypt_r.c | 12 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 D | gpio_utils.c | 116 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 D | can_frame_1.h | 24 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 D | ltimer.c | 59 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 D | demand.c | 71 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 D | events.c | 32 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 D | size.hpp | 25 # define MSGPACK_PP_ARRAY_SIZE_II(size, data) size
|
H A D | to_tuple.hpp | 16 # include <msgpack/preprocessor/array/data.hpp>
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/list/ |
H A D | to_seq.hpp | 24 # define MSGPACK_PP_LIST_TO_SEQ_MACRO(r, data, elem) (elem)
|
/seL4-camkes-master/tools/riscv-pk/dummy_payload/ |
H A D | dummy_entry.S | 21 .data
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | console.h | 75 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 D | guest_vcpu_fault.h | 39 * 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 D | util.h | 13 /* 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 D | simple.c | 29 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 D | pack.h | 35 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 D | simple.h | 34 * @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 D | guest_vcpu_fault_arch.c | 31 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 D | vgadriver.c | 93 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 D | i2c.h | 93 * 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 D | vchan_component.c | 80 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 D | gdb.c | 101 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 D | sys_socket.c | 37 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 D | hashtable_seed.c | 1 /* 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 D | pmic.c | 62 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...] |