/seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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
|