src/ppe/pk/kernel/pk_timer_core.c
// This routine is only used in this file, and will always be called in a
// critical section.
This routine is only used in this file, and will always be called in a
critical section.
This routine is only used in this file and will always be called in a critical section .
static inline int
timer_active(PkTimer* timer)
{
    return pk_deque_is_queued((PkDeque*)timer);
}
static inline int timer_active ( PkTimer * timer ) { return pk_deque_is_queued ( ( PkDeque * ) timer ) ; }
This routine is only used in this file, and will always be called in a
critical section.
This routine is only used in this file and will always be called in a critical section .