/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
H A D | register_dump.c | 29 const int num_regs = sizeof(context) / sizeof(seL4_Word); local 31 error = seL4_TCB_ReadRegisters(tcb, false, 0, num_regs, &context); 38 for (int i = 0; i < num_regs; i++) {
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.debug.c | 167 int num_regs = sizeof(seL4_UserContext) / sizeof(seL4_Word); local 168 seL4_TCB_ReadRegisters(tcb_cap, false, 0, num_regs, registers); 174 int num_regs = sizeof(seL4_UserContext) / sizeof(seL4_Word); local 175 if (reg_num >= num_regs) { 180 seL4_TCB_ReadRegisters(tcb_cap, false, 0, num_regs, ®s); 188 int num_regs = sizeof(seL4_UserContext) / sizeof(seL4_Word); local 189 seL4_TCB_ReadRegisters(tcb_cap, false, 0, num_regs, ®s); 195 int err = seL4_TCB_WriteRegisters(tcb_cap, false, 0, num_regs, ®s); 204 int num_regs = sizeof(seL4_UserContext) / sizeof(seL4_Word); local 207 seL4_TCB_ReadRegisters(tcb_cap, false, 0, num_regs, [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 129 int num_regs = total_cells / stride; local 131 for (int i = 0; i < num_regs; i++) { 137 int error = callback(curr_pmem, i, num_regs, token); 249 static int register_index_helper_walker(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 252 if (helper_token->desired_offset >= num_regs) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 33 * @param num_regs The total number of register instances that the device that we are walking through has. 37 typedef int (*reg_walk_cb_fn_t)(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | timer.c | 125 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 130 assert(num_regs == 1 && curr_num == 0);
|
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
H A D | hsp.c | 164 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 169 assert(num_regs == 1 && curr_num == 0);
|
H A D | bpmp.c | 162 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 349 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 352 assert(num_regs == 1 && curr_num == 0);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 230 static int pwm_walk_registers(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 236 if (curr_num != 0 || num_regs != 1) {
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/ |
H A D | gdb.c | 479 int num_regs = sizeof(seL4_UserContext) / sizeof(seL4_Word); local 481 if (num_regs_data > num_regs) { 482 num_regs_data = num_regs;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 239 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 190 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 533 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 379 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 485 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 468 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
|