hc
2024-01-05 071106ecf68c401173c58808b1cf5f68cc50d390
kernel/include/clocksource/arm_arch_timer.h
....@@ -1,17 +1,6 @@
1
+/* SPDX-License-Identifier: GPL-2.0-only */
12 /*
23 * Copyright (C) 2012 ARM Ltd.
3
- *
4
- * This program is free software; you can redistribute it and/or modify
5
- * it under the terms of the GNU General Public License version 2 as
6
- * published by the Free Software Foundation.
7
- *
8
- * This program is distributed in the hope that it will be useful,
9
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
10
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11
- * GNU General Public License for more details.
12
- *
13
- * You should have received a copy of the GNU General Public License
14
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
154 */
165 #ifndef __CLKSOURCE_ARM_ARCH_TIMER_H
176 #define __CLKSOURCE_ARM_ARCH_TIMER_H
....@@ -74,6 +63,7 @@
7463 struct arch_timer_kvm_info {
7564 struct timecounter timecounter;
7665 int virtual_irq;
66
+ int physical_irq;
7767 };
7868
7969 struct arch_timer_mem_frame {
....@@ -96,7 +86,6 @@
9686 extern u64 (*arch_timer_read_counter)(void);
9787 extern struct arch_timer_kvm_info *arch_timer_get_kvm_info(void);
9888 extern bool arch_timer_evtstrm_available(void);
99
-extern void arch_timer_mem_get_cval(u32 *lo, u32 *hi);
10089
10190 #else
10291
....@@ -115,10 +104,6 @@
115104 return false;
116105 }
117106
118
-static void arch_timer_mem_get_cval(u32 *lo, u32 *hi)
119
-{
120
- *lo = *hi = ~0U;
121
-}
122107 #endif
123108
124109 #endif