Up: Timer Reference [Contents][Index]
MICRO_BENCHMARK_TIMER_PROVIDER_DEFAULT
, MICRO_BENCHMARK_TIMER_PROVIDER_ITIMER
, MICRO_BENCHMARK_TIMER_PROVIDER_TIMER_T
, MICRO_BENCHMARK_TIMER_PROVIDER_TIMERFD
, MICRO_BENCHMARK_TIMER_PROVIDER_FROM_METER
, MICRO_BENCHMARK_TIMER_PROVIDER_USER_PROVIDED
} ¶Timer type (see Predefined Timers.)
Preconditions:
Effects:
Postconditions:
micro_benchmark_timer_set_default
was called, the type of
the returned value is equivalent to the last value provided to that
call.
Preconditions:
MICRO_BENCHMARK_TIMER_PROVIDER_USER_PROVIDED
.
MICRO_BENCHMARK_TIMER_PROVIDER_FROM_METER
.
Effects:
Postconditions:
Preconditions:
Effects:
Postconditions:
Preconditions:
micro_benchmark_meter_definition
where at least all the
function fields have been filled with a valid function.
Effects:
Postconditions:
Preconditions:
micro_benchmark_timer_definition
where at least all the
function fields have been filled with a valid function.
Effects:
Postconditions:
Preconditions:
Effects:
Postconditions:
Up: Timer Reference [Contents][Index]