/seL4-refos-master/libs/libvterm/src/ |
H A D | encoding.c | 22 struct UTF8DecoderData *data = data_;
local 24 data->bytes_remaining = 0;
25 data->bytes_total = 0;
32 struct UTF8DecoderData *data = data_;
local 42 printf(" pos=%zd c=%02x rem=%d\n", *pos, c, data->bytes_remaining);
49 if(data->bytes_remaining)
56 data->bytes_remaining = 0;
60 if(!data->bytes_remaining) {
65 data->this_cp <<= 6;
66 data 154 decode_usascii(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument 177 decode_table(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument [all...] |
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
H A D | encoding.c | 22 struct UTF8DecoderData *data = data_;
local 24 data->bytes_remaining = 0;
25 data->bytes_total = 0;
32 struct UTF8DecoderData *data = data_;
local 42 printf(" pos=%zd c=%02x rem=%d\n", *pos, c, data->bytes_remaining);
49 if(data->bytes_remaining)
56 data->bytes_remaining = 0;
60 if(!data->bytes_remaining) {
65 data->this_cp <<= 6;
66 data 154 decode_usascii(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument 177 decode_table(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | phy.c | 76 unsigned short data; local 79 MDIOPhyRegRead(mdioBaseAddr, phyAddr, PHY_ID1, &data); 82 id = data << PHY_ID_SHIFT; 85 MDIOPhyRegRead(mdioBaseAddr, phyAddr, PHY_ID2, &data); 88 id |= data; 141 unsigned short data; local 143 if (MDIOPhyRegRead(mdioBaseAddr, phyAddr, PHY_BCR, &data) != TRUE ) { 147 data |= PHY_LPBK_ENABLE; 150 MDIOPhyRegWrite(mdioBaseAddr, phyAddr, PHY_BCR, data); 168 unsigned short data; local 210 volatile unsigned short data; local 262 volatile unsigned short data; local 353 unsigned short data; local [all...] |
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
H A D | cvector.c | 21 // Condition to decrease v->data size: size > (c * 2) + k 24 v->data = krealloc(v->data, sizeof(cvector_item_t) * v->size); 33 v->data = NULL; 45 v->data = kmalloc(sizeof(cvector_item_t) * v->size); 46 assert(v->data); 49 // Condition to increase v->data: last slot exhausted 52 v->data = krealloc(v->data, sizeof(cvector_item_t) * v->size); 53 assert(v->data); [all...] |
H A D | cqueue.c | 19 q->data = kmalloc(sizeof(cqueue_item_t) * maxSize); 20 assert(q->data); 27 assert(q && q->data); 31 q->data[q->top] = e; 38 assert(q && q->data); 44 cqueue_item_t item = q->data[bot]; 50 if (q->data) { 51 kfree(q->data); 52 q->data = NULL;
|
/seL4-refos-master/libs/libdatastruct/src/ |
H A D | cvector.c | 21 // Condition to decrease v->data size: size > (c * 2) + k 24 v->data = krealloc(v->data, sizeof(cvector_item_t) * v->size); 33 v->data = NULL; 45 v->data = kmalloc(sizeof(cvector_item_t) * v->size); 46 assert(v->data); 49 // Condition to increase v->data: last slot exhausted 52 v->data = krealloc(v->data, sizeof(cvector_item_t) * v->size); 53 assert(v->data); [all...] |
H A D | cqueue.c | 19 q->data = kmalloc(sizeof(cqueue_item_t) * maxSize); 20 assert(q->data); 27 assert(q && q->data); 31 q->data[q->top] = e; 38 assert(q && q->data); 44 cqueue_item_t item = q->data[bot]; 50 if (q->data) { 51 kfree(q->data); 52 q->data = NULL;
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | list.h | 31 int list_prepend(list_t *l, void *data); 34 int list_append(list_t *l, void *data); 42 bool list_exists(list_t *l, void *data, int(*cmp)(void *, void *)); 50 int list_index(list_t *l, void *data, int(*cmp)(void *, void *)); 61 int list_remove(list_t *l, void *data, int(*cmp)(void *, void *)); 78 void *data; member in struct:list_node 84 int list_remove_node(list_t *l, void *data, int(*cmp)(void *, void *));
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | list.h | 31 int list_prepend(list_t *l, void *data); 34 int list_append(list_t *l, void *data); 42 bool list_exists(list_t *l, void *data, int(*cmp)(void *, void *)); 50 int list_index(list_t *l, void *data, int(*cmp)(void *, void *)); 61 int list_remove(list_t *l, void *data, int(*cmp)(void *, void *)); 78 void *data; member in struct:list_node 84 int list_remove_node(list_t *l, void *data, int(*cmp)(void *, void *));
|
/seL4-refos-master/libs/libmuslc/src/ldso/arm/ |
H A D | find_exidx.c | 12 struct find_exidx_data *data = ptr; local 21 match |= data->pc >= addr && data->pc < addr + phdr->p_memsz; 29 data->exidx_start = exidx_start; 30 data->exidx_len = exidx_len; 36 struct find_exidx_data data; local 37 data.pc = pc; 38 if (dl_iterate_phdr(find_exidx, &data) <= 0) 40 *pcount = data.exidx_len / 8; 41 return data [all...] |
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | vka.c | 28 * @param data cookie for the underlying allocator 32 static int am_vka_cspace_alloc(void *data, seL4_CPtr *res) argument 37 assert(data); 40 error = allocman_cspace_alloc((allocman_t *) data, &path); 52 * @param data cookie for the underlying allocator 56 static void am_vka_cspace_make_path (void *data, seL4_CPtr slot, cspacepath_t *res) argument 58 assert(data); 61 *res = allocman_cspace_make_path((allocman_t*) data, slot); 67 * @param data cookie for the underlying allocator 70 static void am_vka_cspace_free (void *data, seL4_CPt argument 90 am_vka_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 118 am_vka_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 134 am_vka_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument 160 am_vka_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 171 am_vka_utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | vka.c | 28 * @param data cookie for the underlying allocator 32 static int am_vka_cspace_alloc(void *data, seL4_CPtr *res) argument 37 assert(data); 40 error = allocman_cspace_alloc((allocman_t *) data, &path); 52 * @param data cookie for the underlying allocator 56 static void am_vka_cspace_make_path (void *data, seL4_CPtr slot, cspacepath_t *res) argument 58 assert(data); 61 *res = allocman_cspace_make_path((allocman_t*) data, slot); 67 * @param data cookie for the underlying allocator 70 static void am_vka_cspace_free (void *data, seL4_CPt argument 90 am_vka_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 118 am_vka_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 134 am_vka_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument 160 am_vka_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 171 am_vka_utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 37 assert(data != NULL); 40 nv_tmr_ltimer_t *nv_tmr_ltimer = data; 45 static int get_resolution(void *data, uint64_t *resolution) argument 50 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 52 assert(data != NULL); 53 nv_tmr_ltimer_t *nv_tmr_ltimer = data; 71 static int reset(void *data) argument 73 assert(data != NULL); 74 nv_tmr_ltimer_t *nv_tmr_ltimer = data; 80 destroy(void *data) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 37 assert(data != NULL); 40 nv_tmr_ltimer_t *nv_tmr_ltimer = data; 45 static int get_resolution(void *data, uint64_t *resolution) argument 50 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 52 assert(data != NULL); 53 nv_tmr_ltimer_t *nv_tmr_ltimer = data; 71 static int reset(void *data) argument 73 assert(data != NULL); 74 nv_tmr_ltimer_t *nv_tmr_ltimer = data; 80 destroy(void *data) argument [all...] |
/seL4-refos-master/libs/libsel4simple-default/src/arch/riscv/ |
H A D | default.c | 24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument 29 simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument 31 simple->data = data;
|
/seL4-refos-master/libs/libsel4vka/src/ |
H A D | null-vka.c | 21 static int cspace_alloc(void *data, seL4_CPtr *res) argument 26 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument 30 static void cspace_free(void *data, seL4_CPtr slot) argument 34 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument 40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument 46 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, argument 52 static void utspace_free(void *data, seL4_Word type, seL4_Word size_bits, argument 57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument 66 .data = NULL, /* not required */
|
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/riscv/ |
H A D | default.c | 24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument 29 simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument 31 simple->data = data;
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | null-vka.c | 21 static int cspace_alloc(void *data, seL4_CPtr *res) argument 26 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument 30 static void cspace_free(void *data, seL4_CPtr slot) argument 34 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument 40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument 46 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, argument 52 static void utspace_free(void *data, seL4_Word type, seL4_Word size_bits, argument 57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument 66 .data = NULL, /* not required */
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | ptrace.c | 10 void *addr, *data, *addr2; local 16 data = va_arg(ap, void *); 20 if (req-1U < 3) data = &result; 21 ret = syscall(SYS_ptrace, req, pid, addr, data, addr2);
|
/seL4-refos-master/libs/libplatsupport/src/mach/imx/ |
H A D | ltimer.c | 33 static int get_time(void *data, uint64_t *time) argument 35 assert(data != NULL); 38 imx_ltimer_t *imx_ltimer = data; 43 static int get_resolution(void *data, uint64_t *resolution) argument 48 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 50 assert(data != NULL); 51 imx_ltimer_t *imx_ltimer = data; 61 static int reset(void *data) argument 63 assert(data != NULL); 64 imx_ltimer_t *imx_ltimer = data; 74 destroy(void *data) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | ltimer.c | 33 static int get_time(void *data, uint64_t *time) argument 35 assert(data != NULL); 38 imx_ltimer_t *imx_ltimer = data; 43 static int get_resolution(void *data, uint64_t *resolution) argument 48 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 50 assert(data != NULL); 51 imx_ltimer_t *imx_ltimer = data; 61 static int reset(void *data) argument 63 assert(data != NULL); 64 imx_ltimer_t *imx_ltimer = data; 74 destroy(void *data) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | ltimer.c | 30 static int get_time(void *data, uint64_t *time) argument 32 assert(data != NULL); 35 pwm_ltimer_t *pwm_ltimer = data; 40 static int get_resolution(void *data, uint64_t *resolution) argument 45 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 47 assert(data != NULL); 48 pwm_ltimer_t *pwm_ltimer = data; 67 static int reset(void *data) argument 69 assert(data != NULL); 70 pwm_ltimer_t *pwm_ltimer = data; 75 destroy(void *data) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | ltimer.c | 30 static int get_time(void *data, uint64_t *time) argument 32 assert(data != NULL); 35 pwm_ltimer_t *pwm_ltimer = data; 40 static int get_resolution(void *data, uint64_t *resolution) argument 45 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 47 assert(data != NULL); 48 pwm_ltimer_t *pwm_ltimer = data; 67 static int reset(void *data) argument 69 assert(data != NULL); 70 pwm_ltimer_t *pwm_ltimer = data; 75 destroy(void *data) argument [all...] |
/seL4-refos-master/libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument 31 seL4_BootInfo *bi = (seL4_BootInfo *) data; 44 seL4_Error simple_default_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument 47 seL4_BootInfo *bi = (seL4_BootInfo *) data; 60 void *simple_default_get_frame_mapping(void *data, void *paddr, int size_bits) argument 65 seL4_Error simple_default_set_ASID(void *data, seL4_CPtr vspace) argument 70 int simple_default_cap_count(void *data) argument 72 assert(data); 74 seL4_BootInfo *bi = data; 83 seL4_CPtr simple_default_nth_cap(void *data, in argument 123 simple_default_init_cap(void *data, seL4_CPtr cap_pos) argument 128 simple_default_cnode_size(void *data) argument 135 simple_default_untyped_count(void *data) argument 142 simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument 164 simple_default_userimage_count(void *data) argument 171 simple_default_nth_userimage(void *data, int n) argument 184 simple_default_core_count(void *data) argument 191 simple_default_print(void *data) argument 200 simple_default_sched_control(void *data, int core) argument 211 simple_default_get_extended_bootinfo_size(void *data, seL4_Word type) argument 232 simple_default_get_extended_bootinfo(void *data, seL4_Word type, void *dest, ssize_t max_len) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument 31 seL4_BootInfo *bi = (seL4_BootInfo *) data; 44 seL4_Error simple_default_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument 47 seL4_BootInfo *bi = (seL4_BootInfo *) data; 60 void *simple_default_get_frame_mapping(void *data, void *paddr, int size_bits) argument 65 seL4_Error simple_default_set_ASID(void *data, seL4_CPtr vspace) argument 70 int simple_default_cap_count(void *data) argument 72 assert(data); 74 seL4_BootInfo *bi = data; 83 seL4_CPtr simple_default_nth_cap(void *data, in argument 123 simple_default_init_cap(void *data, seL4_CPtr cap_pos) argument 128 simple_default_cnode_size(void *data) argument 135 simple_default_untyped_count(void *data) argument 142 simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument 164 simple_default_userimage_count(void *data) argument 171 simple_default_nth_userimage(void *data, int n) argument 184 simple_default_core_count(void *data) argument 191 simple_default_print(void *data) argument 200 simple_default_sched_control(void *data, int core) argument 211 simple_default_get_extended_bootinfo_size(void *data, seL4_Word type) argument 232 simple_default_get_extended_bootinfo(void *data, seL4_Word type, void *dest, ssize_t max_len) argument [all...] |