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()
55 static void vgic_v2_set_lr(struct kvm_vcpu *vcpu, int lr,  in vgic_v2_set_lr()  argument
67 	vcpu->arch.vgic_cpu.vgic_v2.vgic_lr[lr] = lr_val;  in vgic_v2_set_lr()
70 static void vgic_v2_sync_lr_elrsr(struct kvm_vcpu *vcpu, int lr,  in vgic_v2_sync_lr_elrsr()  argument
74 		vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr |= (1ULL << lr);  in vgic_v2_sync_lr_elrsr()
76 		vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr &= ~(1ULL << lr);  in vgic_v2_sync_lr_elrsr()
79 static u64 vgic_v2_get_elrsr(const struct kvm_vcpu *vcpu)  in vgic_v2_get_elrsr()  argument
81 	return vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr;  in vgic_v2_get_elrsr()
84 static u64 vgic_v2_get_eisr(const struct kvm_vcpu *vcpu)  in vgic_v2_get_eisr()  argument
86 	return vcpu->arch.vgic_cpu.vgic_v2.vgic_eisr;  in vgic_v2_get_eisr()
89 static void vgic_v2_clear_eisr(struct kvm_vcpu *vcpu)  in vgic_v2_clear_eisr()  argument
91 	vcpu->arch.vgic_cpu.vgic_v2.vgic_eisr = 0;  in vgic_v2_clear_eisr()
94 static u32 vgic_v2_get_interrupt_status(const struct kvm_vcpu *vcpu)  in vgic_v2_get_interrupt_status()  argument
96 	u32 misr = vcpu->arch.vgic_cpu.vgic_v2.vgic_misr;  in vgic_v2_get_interrupt_status()
107 static void vgic_v2_enable_underflow(struct kvm_vcpu *vcpu)  in vgic_v2_enable_underflow()  argument
109 	vcpu->arch.vgic_cpu.vgic_v2.vgic_hcr |= GICH_HCR_UIE;  in vgic_v2_enable_underflow()
112 static void vgic_v2_disable_underflow(struct kvm_vcpu *vcpu)  in vgic_v2_disable_underflow()  argument
114 	vcpu->arch.vgic_cpu.vgic_v2.vgic_hcr &= ~GICH_HCR_UIE;  in vgic_v2_disable_underflow()
117 static void vgic_v2_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcrp)  in vgic_v2_get_vmcr()  argument
119 	u32 vmcr = vcpu->arch.vgic_cpu.vgic_v2.vgic_vmcr;  in vgic_v2_get_vmcr()
127 static void vgic_v2_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcrp)  in vgic_v2_set_vmcr()  argument
136 	vcpu->arch.vgic_cpu.vgic_v2.vgic_vmcr = vmcr;  in vgic_v2_set_vmcr()
139 static void vgic_v2_enable(struct kvm_vcpu *vcpu)  in vgic_v2_enable()  argument
146 	vcpu->arch.vgic_cpu.vgic_v2.vgic_vmcr = 0;  in vgic_v2_enable()
149 	vcpu->arch.vgic_cpu.vgic_v2.vgic_hcr = GICH_HCR_EN;  in vgic_v2_enable()