APBT_CLOCKEVENT0_NUM   87 arch/x86/kernel/apb_timer.c 	mtmr = sfi_get_mtmr(APBT_CLOCKEVENT0_NUM);
APBT_CLOCKEVENT0_NUM   90 arch/x86/kernel/apb_timer.c 		       APBT_CLOCKEVENT0_NUM);
APBT_CLOCKEVENT0_NUM  139 arch/x86/kernel/apb_timer.c 	mtmr = sfi_get_mtmr(APBT_CLOCKEVENT0_NUM);
APBT_CLOCKEVENT0_NUM  142 arch/x86/kernel/apb_timer.c 		       APBT_CLOCKEVENT0_NUM);