#include <asm/arch_timer.h>

unsigned int avm_get_cycles(void)
{
	return (unsigned int)arch_timer_read_counter();
}
EXPORT_SYMBOL(avm_get_cycles);

unsigned int avm_get_cyclefreq(void)
{
	return arch_timer_get_rate();
}
EXPORT_SYMBOL(avm_get_cyclefreq);