HEADER: sbi_utils/timer/fdt_timer.h
TYPE: const struct fdt_driver
NAME: fdt_timer_drivers