Symbol: TIMER_KIND_OMAP3
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
40
{ "ti,omap3430-timer", TIMER_KIND_OMAP3 },
src/system/kernel/arch/arm/arch_timer.cpp
62
} else if (strncmp(args->arch_args.timer.kind, TIMER_KIND_OMAP3,