.. | .. |
---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
---|
1 | 2 | /* |
---|
2 | 3 | * VGIC system registers handling functions for AArch64 mode |
---|
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 | 4 | */ |
---|
13 | 5 | |
---|
14 | 6 | #include <linux/irqchip/arm-gic-v3.h> |
---|
15 | 7 | #include <linux/kvm.h> |
---|
16 | 8 | #include <linux/kvm_host.h> |
---|
17 | 9 | #include <asm/kvm_emulate.h> |
---|
18 | | -#include "vgic.h" |
---|
| 10 | +#include "vgic/vgic.h" |
---|
19 | 11 | #include "sys_regs.h" |
---|
20 | 12 | |
---|
21 | 13 | static bool access_gic_ctlr(struct kvm_vcpu *vcpu, struct sys_reg_params *p, |
---|
.. | .. |
---|
276 | 268 | |
---|
277 | 269 | params.regval = *reg; |
---|
278 | 270 | params.is_write = is_write; |
---|
279 | | - params.is_aarch32 = false; |
---|
280 | | - params.is_32bit = false; |
---|
281 | 271 | |
---|
282 | 272 | if (find_reg_by_id(sysreg, ¶ms, gic_v3_icc_reg_descs, |
---|
283 | 273 | ARRAY_SIZE(gic_v3_icc_reg_descs))) |
---|
.. | .. |
---|
296 | 286 | if (is_write) |
---|
297 | 287 | params.regval = *reg; |
---|
298 | 288 | params.is_write = is_write; |
---|
299 | | - params.is_aarch32 = false; |
---|
300 | | - params.is_32bit = false; |
---|
301 | 289 | |
---|
302 | 290 | r = find_reg_by_id(sysreg, ¶ms, gic_v3_icc_reg_descs, |
---|
303 | 291 | ARRAY_SIZE(gic_v3_icc_reg_descs)); |
---|