|  | // SPDX-License-Identifier: GPL-2.0-or-later | 
|  | /* | 
|  | *  linux/arch/arm/plat-versatile/sched-clock.c | 
|  | * | 
|  | *  Copyright (C) 1999 - 2003 ARM Limited | 
|  | *  Copyright (C) 2000 Deep Blue Solutions Ltd | 
|  | */ | 
|  | #include <linux/kernel.h> | 
|  | #include <linux/io.h> | 
|  | #include <linux/sched_clock.h> | 
|  |  | 
|  | #include <plat/sched_clock.h> | 
|  |  | 
|  | static void __iomem *ctr; | 
|  |  | 
|  | static u64 notrace versatile_read_sched_clock(void) | 
|  | { | 
|  | if (ctr) | 
|  | return readl(ctr); | 
|  |  | 
|  | return 0; | 
|  | } | 
|  |  | 
|  | void __init versatile_sched_clock_init(void __iomem *reg, unsigned long rate) | 
|  | { | 
|  | ctr = reg; | 
|  | sched_clock_register(versatile_read_sched_clock, 32, rate); | 
|  | } |