.. | .. |
---|
| 1 | +/* SPDX-License-Identifier: GPL-2.0-only */ |
---|
1 | 2 | /* |
---|
2 | 3 | * 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/>. |
---|
15 | 4 | */ |
---|
16 | 5 | #ifndef __CLKSOURCE_ARM_ARCH_TIMER_H |
---|
17 | 6 | #define __CLKSOURCE_ARM_ARCH_TIMER_H |
---|
.. | .. |
---|
74 | 63 | struct arch_timer_kvm_info { |
---|
75 | 64 | struct timecounter timecounter; |
---|
76 | 65 | int virtual_irq; |
---|
| 66 | + int physical_irq; |
---|
77 | 67 | }; |
---|
78 | 68 | |
---|
79 | 69 | struct arch_timer_mem_frame { |
---|
.. | .. |
---|
96 | 86 | extern u64 (*arch_timer_read_counter)(void); |
---|
97 | 87 | extern struct arch_timer_kvm_info *arch_timer_get_kvm_info(void); |
---|
98 | 88 | extern bool arch_timer_evtstrm_available(void); |
---|
99 | | -extern void arch_timer_mem_get_cval(u32 *lo, u32 *hi); |
---|
100 | 89 | |
---|
101 | 90 | #else |
---|
102 | 91 | |
---|
.. | .. |
---|
115 | 104 | return false; |
---|
116 | 105 | } |
---|
117 | 106 | |
---|
118 | | -static void arch_timer_mem_get_cval(u32 *lo, u32 *hi) |
---|
119 | | -{ |
---|
120 | | - *lo = *hi = ~0U; |
---|
121 | | -} |
---|
122 | 107 | #endif |
---|
123 | 108 | |
---|
124 | 109 | #endif |
---|