/* profiling clock's frequency */