/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 32 * @param curr_num A number indicating the current register instance that we are currently at. 37 typedef int (*reg_walk_cb_fn_t)(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token); 44 * @param curr_num A number indicating the current interrupt instance that we are currently at. 49 typedef int (*irq_walk_cb_fn_t)(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token);
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 32 * @param curr_num A number indicating the current register instance that we are currently at. 37 typedef int (*reg_walk_cb_fn_t)(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token); 44 * @param curr_num A number indicating the current interrupt instance that we are currently at. 49 typedef int (*irq_walk_cb_fn_t)(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token);
|
/seL4-refos-master/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); 139 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 144 if (curr_num != 0) {
|
/seL4-refos-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); 139 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 144 if (curr_num != 0) {
|
/seL4-refos-master/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 243 assert(curr_num == 0); 254 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 258 assert(curr_num == 0);
|
/seL4-refos-master/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 194 assert(curr_num == 0); 205 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 209 assert(curr_num == 0);
|
/seL4-refos-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 243 assert(curr_num == 0); 254 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 258 assert(curr_num == 0);
|
/seL4-refos-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 194 assert(curr_num == 0); 205 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 209 assert(curr_num == 0);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 249 static int register_index_helper_walker(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 257 if (helper_token->desired_offset == curr_num) { 298 static int irq_index_helper_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 306 if (helper_token->desired_offset == curr_num) {
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | fdt.c | 249 static int register_index_helper_walker(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 257 if (helper_token->desired_offset == curr_num) { 298 static int irq_index_helper_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 306 if (helper_token->desired_offset == curr_num) {
|
/seL4-refos-master/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); 362 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 369 assert(curr_num == 0);
|
/seL4-refos-master/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) { 253 static int pwm_walk_irqs(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 265 switch (curr_num) {
|
/seL4-refos-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); 362 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 369 assert(curr_num == 0);
|
/seL4-refos-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) { 253 static int pwm_walk_irqs(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 265 switch (curr_num) {
|
/seL4-refos-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 386 if (curr_num == 0) { 397 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 404 if (curr_num != 0) {
|
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
H A D | timer.c | 142 static int irq_index_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 146 if (RK_IRQ_CHOICE == curr_num) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | timer.c | 142 static int irq_index_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 146 if (RK_IRQ_CHOICE == curr_num) {
|
/seL4-refos-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 552 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 559 if (irq_pos == curr_num) {
|
/seL4-refos-master/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 552 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 559 if (irq_pos == curr_num) {
|
/seL4-refos-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 493 if (curr_num == 0) { 504 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 512 if (curr_num == 0) {
|
/seL4-refos-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 476 if (curr_num == 0) { 487 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 495 if (curr_num == 0) {
|