Searched refs:PPC_TIMER_BOOKE (Results 1 – 3 of 3) sorted by last modified time
732 if (next > n && tb_env->flags & PPC_TIMER_BOOKE) { in __cpu_ppc_load_decr()
344 tb_env->flags = flags | PPC_TIMER_BOOKE | PPC_DECR_ZERO_TRIGGERED; in ppc_booke_timers_init()
43 #define PPC_TIMER_BOOKE (1 << 0) /* Enable Booke support */ macro