Searched refs:RK_REG_CHOICE (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/rockpro64/platsupport/plat/
H A Dtimer.h20 #define RK_REG_CHOICE 0 macro
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/
H A Dtimer.h20 #define RK_REG_CHOICE 0 macro
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c181 rk->rk_map_base = ps_fdt_index_map_register(&ops, cookie, RK_REG_CHOICE, &rk->pmem);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c181 rk->rk_map_base = ps_fdt_index_map_register(&ops, cookie, RK_REG_CHOICE, &rk->pmem);

Completed in 90 milliseconds