Implement timestamp function for tracing for ARM

Use Armv7 performace counters for this.

Fixes #850
This commit is contained in:
Stefan Kalkowski 2013-08-20 15:35:47 +02:00 committed by Norman Feske
parent eee671233c
commit ae87f50ce3
1 changed files with 33 additions and 0 deletions

View File

@ -0,0 +1,33 @@
/*
* \brief Trace timestamp
* \author Stefan Kalkowski
* \date 2013-08-20
*
* Serialized reading of performance counter on ARM.
*/
/*
* Copyright (C) 2013 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU General Public License version 2.
*/
#ifndef _INCLUDE__TRACE_TIMESTAMP_H_
#define _INCLUDE__TRACE_TIMESTAMP_H_
#include <base/fixed_stdint.h>
namespace Genode { namespace Trace {
typedef uint32_t Timestamp;
inline Timestamp timestamp()
{
uint32_t t;
asm volatile("mrc p15, 0, %0, c9, c13, 0" : "=r"(t));
return t;
}
} }
#endif /* _INCLUDE__TRACE_TIMESTAMP_H_ */