|
@@ -12,11 +12,9 @@
|
|
|
#include <sbi_utils/fdt/fdt_helper.h>
|
|
|
#include <sbi_utils/timer/fdt_timer.h>
|
|
|
|
|
|
-extern struct fdt_timer fdt_timer_mtimer;
|
|
|
-
|
|
|
-static struct fdt_timer *timer_drivers[] = {
|
|
|
- &fdt_timer_mtimer
|
|
|
-};
|
|
|
+/* List of FDT timer drivers generated at compile time */
|
|
|
+extern struct fdt_timer *fdt_timer_drivers[];
|
|
|
+extern unsigned long fdt_timer_drivers_size;
|
|
|
|
|
|
static struct fdt_timer dummy = {
|
|
|
.match_table = NULL,
|
|
@@ -47,8 +45,8 @@ static int fdt_timer_cold_init(void)
|
|
|
const struct fdt_match *match;
|
|
|
void *fdt = fdt_get_address();
|
|
|
|
|
|
- for (pos = 0; pos < array_size(timer_drivers); pos++) {
|
|
|
- drv = timer_drivers[pos];
|
|
|
+ for (pos = 0; pos < fdt_timer_drivers_size; pos++) {
|
|
|
+ drv = fdt_timer_drivers[pos];
|
|
|
|
|
|
noff = -1;
|
|
|
while ((noff = fdt_find_match(fdt, noff,
|