31 lines
516 B
C
31 lines
516 B
C
#ifndef _BITS_PROFILE_H
|
|
#define _BITS_PROFILE_H
|
|
|
|
/** @file
|
|
*
|
|
* Profiling
|
|
*
|
|
*/
|
|
|
|
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
|
|
|
|
#include <stdint.h>
|
|
|
|
/**
|
|
* Get profiling timestamp
|
|
*
|
|
* @ret timestamp Timestamp
|
|
*/
|
|
static inline __attribute__ (( always_inline )) uint64_t
|
|
profile_timestamp ( void ) {
|
|
uint64_t cycles;
|
|
|
|
/* Read cycle counter */
|
|
__asm__ __volatile__ ( "msr PMCR_EL0, %1\n\t"
|
|
"mrs %0, PMCCNTR_EL0\n\t"
|
|
: "=r" ( cycles ) : "r" ( 1 ) );
|
|
return cycles;
|
|
}
|
|
|
|
#endif /* _BITS_PROFILE_H */
|