6 #ifndef ABTI_TIMER_H_INCLUDED 
    7 #define ABTI_TIMER_H_INCLUDED 
   11 static inline double ABTI_get_wtime(
void)
 
   15     return ABTD_time_read_sec(&t);
 
   18 static inline ABTI_timer *ABTI_timer_get_ptr(
ABT_timer timer)
 
   20 #ifndef ABT_CONFIG_DISABLE_ERROR_CHECK 
   25         p_timer = (ABTI_timer *)timer;
 
   29     return (ABTI_timer *)timer;
 
   33 static inline ABT_timer ABTI_timer_get_handle(ABTI_timer *p_timer)
 
   35 #ifndef ABT_CONFIG_DISABLE_ERROR_CHECK 
   37     if (p_timer == NULL) {