TIMER_KIND_PXA - Haiku

Symbol: TIMER_KIND_PXA

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

{ "marvell,pxa-timers", TIMER_KIND_PXA },

src/system/kernel/arch/arm/arch_timer.cpp

} else if (strncmp(args->arch_args.timer.kind, TIMER_KIND_PXA,