| arm_vgic.h (e80b500370e71b8cd7dd64be4080cee0a3e5068f) | arm_vgic.h (b321c31c9b7b309dcde5e8854b741c8e6a9a05f0) |
|---|---|
| 1/* SPDX-License-Identifier: GPL-2.0-only */ 2/* 3 * Copyright (C) 2015, 2016 ARM Ltd. 4 */ 5#ifndef __KVM_ARM_VGIC_H 6#define __KVM_ARM_VGIC_H 7 8#include <linux/bits.h> --- 417 unchanged lines hidden (view full) --- 426int kvm_vgic_v4_set_forwarding(struct kvm *kvm, int irq, 427 struct kvm_kernel_irq_routing_entry *irq_entry); 428 429int kvm_vgic_v4_unset_forwarding(struct kvm *kvm, int irq, 430 struct kvm_kernel_irq_routing_entry *irq_entry); 431 432int vgic_v4_load(struct kvm_vcpu *vcpu); 433void vgic_v4_commit(struct kvm_vcpu *vcpu); | 1/* SPDX-License-Identifier: GPL-2.0-only */ 2/* 3 * Copyright (C) 2015, 2016 ARM Ltd. 4 */ 5#ifndef __KVM_ARM_VGIC_H 6#define __KVM_ARM_VGIC_H 7 8#include <linux/bits.h> --- 417 unchanged lines hidden (view full) --- 426int kvm_vgic_v4_set_forwarding(struct kvm *kvm, int irq, 427 struct kvm_kernel_irq_routing_entry *irq_entry); 428 429int kvm_vgic_v4_unset_forwarding(struct kvm *kvm, int irq, 430 struct kvm_kernel_irq_routing_entry *irq_entry); 431 432int vgic_v4_load(struct kvm_vcpu *vcpu); 433void vgic_v4_commit(struct kvm_vcpu *vcpu); |
| 434int vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db); | 434int vgic_v4_put(struct kvm_vcpu *vcpu); |
| 435 436/* CPU HP callbacks */ 437void kvm_vgic_cpu_up(void); 438void kvm_vgic_cpu_down(void); 439 440#endif /* __KVM_ARM_VGIC_H */ | 435 436/* CPU HP callbacks */ 437void kvm_vgic_cpu_up(void); 438void kvm_vgic_cpu_down(void); 439 440#endif /* __KVM_ARM_VGIC_H */ |