Searched refs:fdt_path (Results 26 - 34 of 34) sorted by relevance
12
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | ltimer.c | 108 .fdt_path = DMT_PATH,
|
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
H A D | ltimer.c | 105 .fdt_path = RK_TIMER_PATH,
|
H A D | timer.c | 175 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, config.fdt_path, &cookie); 177 ZF_LOGE("rockpro64 timer failed to read path (%d, %s)", error, config.fdt_path);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | ltimer.c | 105 .fdt_path = RK_TIMER_PATH,
|
H A D | timer.c | 175 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, config.fdt_path, &cookie); 177 ZF_LOGE("rockpro64 timer failed to read path (%d, %s)", error, config.fdt_path);
|
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 206 &ops, config.fdt_path,
|
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 192 &ops, config.fdt_path,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 206 &ops, config.fdt_path,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 192 &ops, config.fdt_path,
|
Completed in 32 milliseconds
12