2012-12-07 04:51:04 +01:00
|
|
|
/*
|
|
|
|
* This file is subject to the terms and conditions of the GNU General Public
|
|
|
|
* License. See the file "COPYING" in the main directory of this archive
|
|
|
|
* for more details.
|
|
|
|
*
|
|
|
|
* Copyright (C) 2012 MIPS Technologies, Inc. All rights reserved.
|
|
|
|
*/
|
|
|
|
#include <linux/init.h>
|
2013-04-10 23:28:36 +02:00
|
|
|
#include <linux/time.h>
|
2012-12-07 04:51:04 +01:00
|
|
|
|
|
|
|
#include <asm/gic.h>
|
|
|
|
|
|
|
|
static cycle_t gic_hpt_read(struct clocksource *cs)
|
|
|
|
{
|
2013-04-10 23:28:36 +02:00
|
|
|
return gic_read_count();
|
2012-12-07 04:51:04 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
static struct clocksource gic_clocksource = {
|
|
|
|
.name = "GIC",
|
|
|
|
.read = gic_hpt_read,
|
|
|
|
.flags = CLOCK_SOURCE_IS_CONTINUOUS,
|
|
|
|
};
|
|
|
|
|
|
|
|
void __init gic_clocksource_init(unsigned int frequency)
|
|
|
|
{
|
|
|
|
unsigned int config, bits;
|
|
|
|
|
|
|
|
/* Calculate the clocksource mask. */
|
|
|
|
GICREAD(GIC_REG(SHARED, GIC_SH_CONFIG), config);
|
|
|
|
bits = 32 + ((config & GIC_SH_CONFIG_COUNTBITS_MSK) >>
|
|
|
|
(GIC_SH_CONFIG_COUNTBITS_SHF - 2));
|
|
|
|
|
|
|
|
/* Set clocksource mask. */
|
|
|
|
gic_clocksource.mask = CLOCKSOURCE_MASK(bits);
|
|
|
|
|
|
|
|
/* Calculate a somewhat reasonable rating value. */
|
|
|
|
gic_clocksource.rating = 200 + frequency / 10000000;
|
|
|
|
|
|
|
|
clocksource_register_hz(&gic_clocksource, frequency);
|
|
|
|
}
|