Branch data Line data Source code
1 : : /*
2 : : * linux/arch/arm/plat-versatile/sched-clock.c
3 : : *
4 : : * Copyright (C) 1999 - 2003 ARM Limited
5 : : * Copyright (C) 2000 Deep Blue Solutions Ltd
6 : : *
7 : : * This program is free software; you can redistribute it and/or modify
8 : : * it under the terms of the GNU General Public License as published by
9 : : * the Free Software Foundation; either version 2 of the License, or
10 : : * (at your option) any later version.
11 : : *
12 : : * This program is distributed in the hope that it will be useful,
13 : : * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 : : * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 : : * GNU General Public License for more details.
16 : : *
17 : : * You should have received a copy of the GNU General Public License
18 : : * along with this program; if not, write to the Free Software
19 : : * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 : : */
21 : : #include <linux/kernel.h>
22 : : #include <linux/io.h>
23 : : #include <linux/sched_clock.h>
24 : :
25 : : #include <plat/sched_clock.h>
26 : :
27 : : static void __iomem *ctr;
28 : :
29 : 0 : static u32 notrace versatile_read_sched_clock(void)
30 : : {
31 [ # # ]: 0 : if (ctr)
32 : 0 : return readl(ctr);
33 : :
34 : : return 0;
35 : : }
36 : :
37 : 0 : void __init versatile_sched_clock_init(void __iomem *reg, unsigned long rate)
38 : : {
39 : 0 : ctr = reg;
40 : 0 : setup_sched_clock(versatile_read_sched_clock, 32, rate);
41 : 0 : }
|