Searched refs:TIMER_KIND_PXA (Results 1 - 3 of 3) sorted by relevance

/haiku/headers/private/kernel/boot/
H A Dtimer.h15 #define TIMER_KIND_PXA "pxa" macro
/haiku/src/system/kernel/arch/arm/
H A Darch_timer.cpp66 } else if (strncmp(args->arch_args.timer.kind, TIMER_KIND_PXA,
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_dtb.cpp41 { "marvell,pxa-timers", TIMER_KIND_PXA },

Completed in 80 milliseconds