/seL4-camkes-master/tools/pruner/ |
H A D | cfg.h | 36 const char *caller, void *data); 47 void *data);
|
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | mount.c | 4 int mount(const char *special, const char *dir, const char *fstype, unsigned long flags, const void *data) argument 6 return syscall(SYS_mount, special, dir, fstype, flags, data);
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | netfront.h | 6 struct netfront_dev *netfront_init(char *nodename, void (*netif_rx)(struct netfront_dev *, unsigned char *data, int len), unsigned char rawmac[6], char **ip, void *priv); 7 void netfront_xmit(struct netfront_dev *dev, unsigned char* data,int len);
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | pmem.c | 20 seL4_X86_BootInfo_mmap_t data; local 21 int error = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_MBMMAP, &data, sizeof(seL4_X86_BootInfo_mmap_t)); 27 return data.mmap_length/sizeof(data.mmap[0]); 31 seL4_X86_BootInfo_mmap_t data; local 32 int error = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_MBMMAP, &data, sizeof(seL4_X86_BootInfo_mmap_t)); 37 seL4_X86_mb_mmap_t *mmap = (seL4_X86_mb_mmap_t *)((unsigned long)data.mmap); 39 for (i = 0; i < max_length && i < (data.mmap_length/sizeof(mmap[0])); i++) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) argument 34 assert(data != NULL); 37 rk_ltimer_t *rk_ltimer = data; 42 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 44 assert(data != NULL); 45 rk_ltimer_t *rk_ltimer = data; 49 int error = get_time(data, ¤t_time); 57 static int reset(void *data) argument 59 assert(data != NULL); 60 rk_ltimer_t *rk_ltimer = data; 68 destroy(void *data) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | reset.h | 21 int (*reset_assert)(void *data, reset_id_t id); 22 int (*reset_deassert)(void *data, reset_id_t id); 23 void *data; member in struct:reset_sys 40 return reset->reset_assert(reset->data, id); 55 return reset->reset_deassert(reset->data, id);
|
/seL4-camkes-master/projects/global-components/components/ResetServer/libResetServer-client/ |
H A D | resetserver_client.c | 25 static int resetserver_assert_wrapper(void *data, reset_id_t id) argument 27 resetserver_interface_data_t *resetserver_data = data; 32 static int resetserver_deassert_wrapper(void *data, reset_id_t id) argument 34 resetserver_interface_data_t *resetserver_data = data; 61 reset_sys->data = &resetserver_private_data;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 45 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local 46 data->vka = vka; 47 data->last_allocated = 0x10000000; 48 data->reservation_head = NULL; 49 data->is_empty = false; 51 data->vspace_root = vspace_root; 60 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local 63 if (!data->is_empty) { 66 data->top_level->table[i] = RESERVED; 70 data 96 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local 215 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local 272 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local 292 get_vspace_bootstrap(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, sel4utils_map_page_fn map_page) argument 308 sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) argument 321 sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) argument 336 sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument 344 sel4utils_get_empty_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument 363 sel4utils_alloc_data_t *data = malloc(sizeof(*data)); local 373 sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[]) argument 398 sel4utils_bootstrap_vspace_with_bootinfo(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, seL4_BootInfo *info, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/list/ |
H A D | first_n.hpp | 35 # define MSGPACK_PP_LIST_FIRST_N_P(d, data) MSGPACK_PP_TUPLE_ELEM(3, 0, data) 37 # define MSGPACK_PP_LIST_FIRST_N_P(d, data) MSGPACK_PP_LIST_FIRST_N_P_I data 42 # define MSGPACK_PP_LIST_FIRST_N_O(d, data) MSGPACK_PP_LIST_FIRST_N_O_D data 44 # define MSGPACK_PP_LIST_FIRST_N_O(d, data) MSGPACK_PP_LIST_FIRST_N_O_D(MSGPACK_PP_TUPLE_ELEM(3, 0, data), MSGPACK_PP_TUPLE_ELEM(3, 1, data), MSGPACK_PP_TUPLE_ELEM(3, 2, data)) [all...] |
H A D | for_each_i.hpp | 27 # define MSGPACK_PP_LIST_FOR_EACH_I(macro, data, list) MSGPACK_PP_FOR((macro, data, list, 0), MSGPACK_PP_LIST_FOR_EACH_I_P, MSGPACK_PP_LIST_FOR_EACH_I_O, MSGPACK_PP_LIST_FOR_EACH_I_M) 29 # define MSGPACK_PP_LIST_FOR_EACH_I(macro, data, list) MSGPACK_PP_LIST_FOR_EACH_I_I(macro, data, list) 30 # define MSGPACK_PP_LIST_FOR_EACH_I_I(macro, data, list) MSGPACK_PP_FOR((macro, data, list, 0), MSGPACK_PP_LIST_FOR_EACH_I_P, MSGPACK_PP_LIST_FOR_EACH_I_O, MSGPACK_PP_LIST_FOR_EACH_I_M) 59 # define MSGPACK_PP_LIST_FOR_EACH_I_R(r, macro, data, list) MSGPACK_PP_FOR_ ## r((macro, data, list, 0), MSGPACK_PP_LIST_FOR_EACH_I_P, MSGPACK_PP_LIST_FOR_EACH_I_O, MSGPACK_PP_LIST_FOR_EACH_I_M) 61 # define MSGPACK_PP_LIST_FOR_EACH_I_R(r, macro, data, list) MSGPACK_PP_LIST_FOR_EACH_I_R_I(r, macro, data, lis [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 59 size_t get_num_irqs(void *data) argument 64 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 66 assert(n < get_num_irqs(data)); 80 static size_t get_num_pmems(void *data) argument 85 static int get_nth_pmem(void *data, size_t n, pmem_region_t *paddr) argument 87 assert(n < get_num_pmems(data)); 92 static int handle_irq(void *data, ps_irq_t *irq) argument 94 assert(data != NULL); 95 spt_ltimer_t *spt_ltimer = data; 121 static int get_time(void *data, uint64_ argument 131 get_resolution(void *data, uint64_t *resolution) argument 136 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 155 reset(void *data) argument 165 destroy(void *data) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | time_manager.h | 37 * @param data data specific to this implementation. 39 * @return 0 on success, EINVAL if data or id is invalid, ENOMEM if no ids are available. 41 int (*alloc_id)(void *data, unsigned int *id); 46 * @param data data specific to this implementation. 48 * @return 0 on success, EINVAL if data or id is invalid, EADDRINUSE if the id 51 int (*alloc_id_at)(void *data, unsigned int id); 57 * @param data data specifi 115 void *data; member in struct:time_manager [all...] |
H A D | ltimer.h | 57 * @param data for the logical timer to use 60 size_t (*get_num_irqs)(void *data); 65 * @param data for the logical timer to use 70 int (*get_nth_irq)(void *data, size_t n, ps_irq_t *irq); 74 * @param data for the logical timer to use 77 size_t (*get_num_pmems)(void *data); 82 * @param data for the logical timer to use 86 int (*get_nth_pmem)(void *data, size_t n, pmem_region_t *region); 92 * @param data for the logical timer to use 96 int (*get_time)(void *data, uint64_ 134 void *data; member in struct:ltimer [all...] |
H A D | chardev.h | 44 /// The source or destination for the data 45 void* data; member in struct:chardev_xmit_descriptor 53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token); 54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token); 58 /// Transmit transfer data for use with IRQs 60 /// Receive transfer data for use with IRQs 111 char data = c; local 112 ret = d->write(d, &data, 1, NULL, NULL); 124 char data; local 125 ret = d->read(d, &data, 147 ps_cdev_read(ps_chardevice_t* d, void* data, size_t size, chardev_callback_t callback, void* token) argument 171 ps_cdev_write(ps_chardevice_t* d, void* data, size_t size, chardev_callback_t callback, void* token) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | local_time_manager.c | 30 static int alloc_id(void *data, unsigned int *id) argument 32 time_man_state_t *state = data; 36 static int alloc_id_at(void *data, unsigned int id) argument 38 time_man_state_t *state = data; 42 static int free_id(void *data, unsigned int id) argument 44 time_man_state_t *state = data; 48 static int get_time(void *data, uint64_t *time) argument 50 assert(data && time); 51 time_man_state_t *state = data; 57 static int update_with_time(void *data, uint64_ argument 92 register_cb(void *data, timeout_type_t type, uint64_t ns, uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) argument 158 deregister_cb(void *data, uint32_t id) argument [all...] |
H A D | ltimer.h | 18 typedef int (*ltimer_handle_irq_fn_t)(void *data, ps_irq_t *irq); 33 static inline void handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument 35 assert(data); 37 timer_callback_data_t *callback_data = (timer_callback_data_t *) data; 43 int UNUSED error = irq_handler(ltimer->data, irq); 101 static int get_resolution_dummy(void *data, uint64_t *resolution) argument 108 int (*get_time)(void *data, uint64_t *time), 109 int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), 110 int (*reset)(void *data), 111 void (*destroy)(void *data) 106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/ |
H A D | array_ref.hpp | 29 array_ref() : data(nullptr) {} 30 array_ref(T& t) : data(&t) {} 32 T* data; member in struct:msgpack::type::array_ref 36 return *data == *t.data; 40 return !(*data == *t.data); 45 return *data < *t.data; 50 return *t.data < *dat [all...] |
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
H A D | platform_sift.py | 24 def is_valid(data: Dict[str, Any]) -> Tuple[bool, List[str]]: 26 Verify that the `data` (which should be obtained from a YAML file using 35 (False, ['no data in file']) 63 if data is None: 64 problems.append('no data in file') 65 elif 'memory' not in data: 67 elif not isinstance(data['memory'], list): 70 elif len(data['memory']) == 0: 79 for region in data['memory']: 103 def report(data [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | ltimer.c | 29 static int get_time(void *data, uint64_t *time) argument 31 assert(data != NULL); 34 omap_ltimer_t *omap_ltimer = data; 39 static int get_resolution(void *data, uint64_t *resolution) argument 44 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 46 assert(data != NULL); 47 omap_ltimer_t *omap_ltimer = data; 70 static int reset(void *data) argument 72 assert(data != NULL); 73 omap_ltimer_t *omap_ltimer = data; 84 destroy(void *data) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/time_server/ |
H A D | client.c | 25 static int client_get_time(void *data, uint64_t *time) argument 27 client_ltimer_t *ltimer = data; 35 static int client_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 37 client_ltimer_t *ltimer = data; 51 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(client_ltimer_t), <imer->data); 55 assert(ltimer->data != NULL); 56 client_ltimer_t *client_ltimer = ltimer->data;
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 25 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) argument 30 seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, argument 41 seL4_Error simple_default_get_iospace_cap_count(void *data, int *count) argument 43 seL4_BootInfo *bi = data; 64 seL4_CPtr simple_default_get_iospace_nth_cap(void *data, int n) argument 66 seL4_BootInfo *bi = data; 95 void simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument 97 simple->data = data;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | msr.c | 31 uint64_t data = 0; local 45 data = 0; 49 data = 0x100000000ULL; 58 data = 0; 62 data = 3; 66 data = 1 << 24; 70 data = vm_lapic_get_base_msr(vcpu); 82 vm_set_thread_context_reg(vcpu, VCPU_CONTEXT_EAX, (uint32_t)(data & 0xffffffff)); 83 vm_set_thread_context_reg(vcpu, VCPU_CONTEXT_EDX, (uint32_t)(data >> 32));
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 37 fvp_ltimer_t *fvp_ltimer = data; 38 assert(data != NULL); 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 49 int error = get_time(data, &time); 59 fvp_ltimer_t *fvp_ltimer = data; 63 static int reset(void *data) argument 65 fvp_ltimer_t *fvp_ltimer = data; 72 static void destroy(void *data) argument 74 assert(data ! [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 37 hikey_ltimer_t *hikey_ltimer = data; 38 assert(data != NULL); 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 49 int error = get_time(data, &time); 59 hikey_ltimer_t *hikey_ltimer = data; 63 static int reset(void *data) argument 65 hikey_ltimer_t *hikey_ltimer = data; 72 static void destroy(void *data) argument 74 assert(data ! [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | sio.h | 92 * @param data pointer to data buffer for receiving 93 * @param len maximum length (in bytes) of data to receive 96 * @note This function will block until data can be received. The blocking 99 u32_t sio_read(sio_fd_t fd, u8_t *data, u32_t len); 105 * immediately if no data is available and never blocks. 108 * @param data pointer to data buffer for receiving 109 * @param len maximum length (in bytes) of data to receive 112 u32_t sio_tryread(sio_fd_t fd, u8_t *data, u32_ [all...] |