Lines Matching refs:vcpu
96 struct kvm_vcpu *vcpu; /* SGIs and PPIs: The VCPU member
336 int kvm_vgic_vcpu_init(struct kvm_vcpu *vcpu);
339 void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu);
346 int kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, unsigned int host_irq,
348 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid);
349 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
351 int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu);
353 void kvm_vgic_load(struct kvm_vcpu *vcpu);
354 void kvm_vgic_put(struct kvm_vcpu *vcpu);
355 void kvm_vgic_vmcr_sync(struct kvm_vcpu *vcpu);
363 bool kvm_vcpu_has_pending_irqs(struct kvm_vcpu *vcpu);
364 void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu);
365 void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu);
366 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
368 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1);
389 int kvm_vgic_set_owner(struct kvm_vcpu *vcpu, unsigned int intid, void *owner);
399 void kvm_vgic_v4_enable_doorbell(struct kvm_vcpu *vcpu);
400 void kvm_vgic_v4_disable_doorbell(struct kvm_vcpu *vcpu);