diff options
| author | Marc Zyngier <maz@kernel.org> | 2022-07-05 11:16:44 +0200 |
|---|---|---|
| committer | Marc Zyngier <maz@kernel.org> | 2022-07-17 12:55:33 +0200 |
| commit | 38cf0bb7625a58625efeef9ec944671464ff7430 (patch) | |
| tree | 0eee5bb5ce8d55f30863acc1ff43093f98fa082e /arch/arm64/kvm/vgic/vgic.h | |
| parent | KVM: arm64: vgic-v3: Convert userspace accessors over to FIELD_GET/FIELD_PREP (diff) | |
| download | linux-38cf0bb7625a58625efeef9ec944671464ff7430.tar.xz linux-38cf0bb7625a58625efeef9ec944671464ff7430.zip | |
KVM: arm64: vgic-v3: Use u32 to manage the line level from userspace
Despite the userspace ABI clearly defining the bits dealt with by
KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO as a __u32, the kernel uses a u64.
Use a u32 to match the userspace ABI, which will subsequently lead
to some simplifications.
Reviewed-by: Reiji Watanabe <reijiw@google.com>
Signed-off-by: Marc Zyngier <maz@kernel.org>
Diffstat (limited to 'arch/arm64/kvm/vgic/vgic.h')
| -rw-r--r-- | arch/arm64/kvm/vgic/vgic.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/arm64/kvm/vgic/vgic.h b/arch/arm64/kvm/vgic/vgic.h index c23118467a35..0c8da72953f0 100644 --- a/arch/arm64/kvm/vgic/vgic.h +++ b/arch/arm64/kvm/vgic/vgic.h @@ -249,7 +249,7 @@ int vgic_v3_cpu_sysregs_uaccess(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr, bool is_write); int vgic_v3_has_cpu_sysregs_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr); int vgic_v3_line_level_info_uaccess(struct kvm_vcpu *vcpu, bool is_write, - u32 intid, u64 *val); + u32 intid, u32 *val); int kvm_register_vgic_device(unsigned long type); void vgic_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr); void vgic_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr); |