33 static struct vgic_lr vgic_v2_get_lr(const struct kvm_vcpu *vcpu, int lr)  in vgic_v2_get_lr()  argument
36 	u32 val = vcpu->arch.vgic_cpu.vgic_v2.vgic_lr[lr];  in vgic_v2_get_lr()
59 static void vgic_v2_set_lr(struct kvm_vcpu *vcpu, int lr,  in vgic_v2_set_lr()  argument
81 	vcpu->arch.vgic_cpu.vgic_v2.vgic_lr[lr] = lr_val;  in vgic_v2_set_lr()
84 		vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr |= (1ULL << lr);  in vgic_v2_set_lr()
86 		vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr &= ~(1ULL << lr);  in vgic_v2_set_lr()
89 static u64 vgic_v2_get_elrsr(const struct kvm_vcpu *vcpu)  in vgic_v2_get_elrsr()  argument
91 	return vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr;  in vgic_v2_get_elrsr()
94 static u64 vgic_v2_get_eisr(const struct kvm_vcpu *vcpu)  in vgic_v2_get_eisr()  argument
96 	return vcpu->arch.vgic_cpu.vgic_v2.vgic_eisr;  in vgic_v2_get_eisr()
99 static void vgic_v2_clear_eisr(struct kvm_vcpu *vcpu)  in vgic_v2_clear_eisr()  argument
101 	vcpu->arch.vgic_cpu.vgic_v2.vgic_eisr = 0;  in vgic_v2_clear_eisr()
104 static u32 vgic_v2_get_interrupt_status(const struct kvm_vcpu *vcpu)  in vgic_v2_get_interrupt_status()  argument
106 	u32 misr = vcpu->arch.vgic_cpu.vgic_v2.vgic_misr;  in vgic_v2_get_interrupt_status()
117 static void vgic_v2_enable_underflow(struct kvm_vcpu *vcpu)  in vgic_v2_enable_underflow()  argument
119 	vcpu->arch.vgic_cpu.vgic_v2.vgic_hcr |= GICH_HCR_UIE;  in vgic_v2_enable_underflow()
122 static void vgic_v2_disable_underflow(struct kvm_vcpu *vcpu)  in vgic_v2_disable_underflow()  argument
124 	vcpu->arch.vgic_cpu.vgic_v2.vgic_hcr &= ~GICH_HCR_UIE;  in vgic_v2_disable_underflow()
127 static void vgic_v2_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcrp)  in vgic_v2_get_vmcr()  argument
129 	u32 vmcr = vcpu->arch.vgic_cpu.vgic_v2.vgic_vmcr;  in vgic_v2_get_vmcr()
137 static void vgic_v2_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcrp)  in vgic_v2_set_vmcr()  argument
146 	vcpu->arch.vgic_cpu.vgic_v2.vgic_vmcr = vmcr;  in vgic_v2_set_vmcr()
149 static void vgic_v2_enable(struct kvm_vcpu *vcpu)  in vgic_v2_enable()  argument
156 	vcpu->arch.vgic_cpu.vgic_v2.vgic_vmcr = 0;  in vgic_v2_enable()
157 	vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr = ~0;  in vgic_v2_enable()
160 	vcpu->arch.vgic_cpu.vgic_v2.vgic_hcr = GICH_HCR_EN;  in vgic_v2_enable()