1 // SPDX-License-Identifier: GPL-2.0-only
3 * VGIC system registers handling functions for AArch32 mode
7 #include <linux/kvm_host.h>
8 #include <asm/kvm_emulate.h>
11 int vgic_v3_has_cpu_sysregs_attr(struct kvm_vcpu
*vcpu
, bool is_write
, u64 id
,
15 * TODO: Implement for AArch32
20 int vgic_v3_cpu_sysregs_uaccess(struct kvm_vcpu
*vcpu
, bool is_write
, u64 id
,
24 * TODO: Implement for AArch32