|
@@ -633,9 +633,6 @@ void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
|
struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
|
|
|
|
|
|
- if (unlikely(!vgic_initialized(vcpu->kvm)))
|
|
|
- return;
|
|
|
-
|
|
|
vgic_fold_lr_state(vcpu);
|
|
|
vgic_prune_ap_list(vcpu);
|
|
|
|
|
@@ -646,9 +643,6 @@ void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu)
|
|
|
/* Flush our emulation state into the GIC hardware before entering the guest. */
|
|
|
void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
|
- if (unlikely(!vgic_initialized(vcpu->kvm)))
|
|
|
- return;
|
|
|
-
|
|
|
/*
|
|
|
* If there are no virtual interrupts active or pending for this
|
|
|
* VCPU, then there is no work to do and we can bail out without
|