18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */ 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * Copyright (C) 2015, 2016 ARM Ltd. 48c2ecf20Sopenharmony_ci */ 58c2ecf20Sopenharmony_ci#ifndef __KVM_ARM_VGIC_H 68c2ecf20Sopenharmony_ci#define __KVM_ARM_VGIC_H 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ci#include <linux/kernel.h> 98c2ecf20Sopenharmony_ci#include <linux/kvm.h> 108c2ecf20Sopenharmony_ci#include <linux/irqreturn.h> 118c2ecf20Sopenharmony_ci#include <linux/spinlock.h> 128c2ecf20Sopenharmony_ci#include <linux/static_key.h> 138c2ecf20Sopenharmony_ci#include <linux/types.h> 148c2ecf20Sopenharmony_ci#include <kvm/iodev.h> 158c2ecf20Sopenharmony_ci#include <linux/list.h> 168c2ecf20Sopenharmony_ci#include <linux/jump_label.h> 178c2ecf20Sopenharmony_ci 188c2ecf20Sopenharmony_ci#include <linux/irqchip/arm-gic-v4.h> 198c2ecf20Sopenharmony_ci 208c2ecf20Sopenharmony_ci#define VGIC_V3_MAX_CPUS 512 218c2ecf20Sopenharmony_ci#define VGIC_V2_MAX_CPUS 8 228c2ecf20Sopenharmony_ci#define VGIC_NR_IRQS_LEGACY 256 238c2ecf20Sopenharmony_ci#define VGIC_NR_SGIS 16 248c2ecf20Sopenharmony_ci#define VGIC_NR_PPIS 16 258c2ecf20Sopenharmony_ci#define VGIC_NR_PRIVATE_IRQS (VGIC_NR_SGIS + VGIC_NR_PPIS) 268c2ecf20Sopenharmony_ci#define VGIC_MAX_PRIVATE (VGIC_NR_PRIVATE_IRQS - 1) 278c2ecf20Sopenharmony_ci#define VGIC_MAX_SPI 1019 288c2ecf20Sopenharmony_ci#define VGIC_MAX_RESERVED 1023 298c2ecf20Sopenharmony_ci#define VGIC_MIN_LPI 8192 308c2ecf20Sopenharmony_ci#define KVM_IRQCHIP_NUM_PINS (1020 - 32) 318c2ecf20Sopenharmony_ci 328c2ecf20Sopenharmony_ci#define irq_is_ppi(irq) ((irq) >= VGIC_NR_SGIS && (irq) < VGIC_NR_PRIVATE_IRQS) 338c2ecf20Sopenharmony_ci#define irq_is_spi(irq) ((irq) >= VGIC_NR_PRIVATE_IRQS && \ 348c2ecf20Sopenharmony_ci (irq) <= VGIC_MAX_SPI) 358c2ecf20Sopenharmony_ci 368c2ecf20Sopenharmony_cienum vgic_type { 378c2ecf20Sopenharmony_ci VGIC_V2, /* Good ol' GICv2 */ 388c2ecf20Sopenharmony_ci VGIC_V3, /* New fancy GICv3 */ 398c2ecf20Sopenharmony_ci}; 408c2ecf20Sopenharmony_ci 418c2ecf20Sopenharmony_ci/* same for all guests, as depending only on the _host's_ GIC model */ 428c2ecf20Sopenharmony_cistruct vgic_global { 438c2ecf20Sopenharmony_ci /* type of the host GIC */ 448c2ecf20Sopenharmony_ci enum vgic_type type; 458c2ecf20Sopenharmony_ci 468c2ecf20Sopenharmony_ci /* Physical address of vgic virtual cpu interface */ 478c2ecf20Sopenharmony_ci phys_addr_t vcpu_base; 488c2ecf20Sopenharmony_ci 498c2ecf20Sopenharmony_ci /* GICV mapping, kernel VA */ 508c2ecf20Sopenharmony_ci void __iomem *vcpu_base_va; 518c2ecf20Sopenharmony_ci /* GICV mapping, HYP VA */ 528c2ecf20Sopenharmony_ci void __iomem *vcpu_hyp_va; 538c2ecf20Sopenharmony_ci 548c2ecf20Sopenharmony_ci /* virtual control interface mapping, kernel VA */ 558c2ecf20Sopenharmony_ci void __iomem *vctrl_base; 568c2ecf20Sopenharmony_ci /* virtual control interface mapping, HYP VA */ 578c2ecf20Sopenharmony_ci void __iomem *vctrl_hyp; 588c2ecf20Sopenharmony_ci 598c2ecf20Sopenharmony_ci /* Number of implemented list registers */ 608c2ecf20Sopenharmony_ci int nr_lr; 618c2ecf20Sopenharmony_ci 628c2ecf20Sopenharmony_ci /* Maintenance IRQ number */ 638c2ecf20Sopenharmony_ci unsigned int maint_irq; 648c2ecf20Sopenharmony_ci 658c2ecf20Sopenharmony_ci /* maximum number of VCPUs allowed (GICv2 limits us to 8) */ 668c2ecf20Sopenharmony_ci int max_gic_vcpus; 678c2ecf20Sopenharmony_ci 688c2ecf20Sopenharmony_ci /* Only needed for the legacy KVM_CREATE_IRQCHIP */ 698c2ecf20Sopenharmony_ci bool can_emulate_gicv2; 708c2ecf20Sopenharmony_ci 718c2ecf20Sopenharmony_ci /* Hardware has GICv4? */ 728c2ecf20Sopenharmony_ci bool has_gicv4; 738c2ecf20Sopenharmony_ci bool has_gicv4_1; 748c2ecf20Sopenharmony_ci 758c2ecf20Sopenharmony_ci /* GIC system register CPU interface */ 768c2ecf20Sopenharmony_ci struct static_key_false gicv3_cpuif; 778c2ecf20Sopenharmony_ci 788c2ecf20Sopenharmony_ci u32 ich_vtr_el2; 798c2ecf20Sopenharmony_ci}; 808c2ecf20Sopenharmony_ci 818c2ecf20Sopenharmony_ciextern struct vgic_global kvm_vgic_global_state; 828c2ecf20Sopenharmony_ci 838c2ecf20Sopenharmony_ci#define VGIC_V2_MAX_LRS (1 << 6) 848c2ecf20Sopenharmony_ci#define VGIC_V3_MAX_LRS 16 858c2ecf20Sopenharmony_ci#define VGIC_V3_LR_INDEX(lr) (VGIC_V3_MAX_LRS - 1 - lr) 868c2ecf20Sopenharmony_ci 878c2ecf20Sopenharmony_cienum vgic_irq_config { 888c2ecf20Sopenharmony_ci VGIC_CONFIG_EDGE = 0, 898c2ecf20Sopenharmony_ci VGIC_CONFIG_LEVEL 908c2ecf20Sopenharmony_ci}; 918c2ecf20Sopenharmony_ci 928c2ecf20Sopenharmony_cistruct vgic_irq { 938c2ecf20Sopenharmony_ci raw_spinlock_t irq_lock; /* Protects the content of the struct */ 948c2ecf20Sopenharmony_ci struct list_head lpi_list; /* Used to link all LPIs together */ 958c2ecf20Sopenharmony_ci struct list_head ap_list; 968c2ecf20Sopenharmony_ci 978c2ecf20Sopenharmony_ci struct kvm_vcpu *vcpu; /* SGIs and PPIs: The VCPU 988c2ecf20Sopenharmony_ci * SPIs and LPIs: The VCPU whose ap_list 998c2ecf20Sopenharmony_ci * this is queued on. 1008c2ecf20Sopenharmony_ci */ 1018c2ecf20Sopenharmony_ci 1028c2ecf20Sopenharmony_ci struct kvm_vcpu *target_vcpu; /* The VCPU that this interrupt should 1038c2ecf20Sopenharmony_ci * be sent to, as a result of the 1048c2ecf20Sopenharmony_ci * targets reg (v2) or the 1058c2ecf20Sopenharmony_ci * affinity reg (v3). 1068c2ecf20Sopenharmony_ci */ 1078c2ecf20Sopenharmony_ci 1088c2ecf20Sopenharmony_ci u32 intid; /* Guest visible INTID */ 1098c2ecf20Sopenharmony_ci bool line_level; /* Level only */ 1108c2ecf20Sopenharmony_ci bool pending_latch; /* The pending latch state used to calculate 1118c2ecf20Sopenharmony_ci * the pending state for both level 1128c2ecf20Sopenharmony_ci * and edge triggered IRQs. */ 1138c2ecf20Sopenharmony_ci bool active; /* not used for LPIs */ 1148c2ecf20Sopenharmony_ci bool enabled; 1158c2ecf20Sopenharmony_ci bool hw; /* Tied to HW IRQ */ 1168c2ecf20Sopenharmony_ci struct kref refcount; /* Used for LPIs */ 1178c2ecf20Sopenharmony_ci u32 hwintid; /* HW INTID number */ 1188c2ecf20Sopenharmony_ci unsigned int host_irq; /* linux irq corresponding to hwintid */ 1198c2ecf20Sopenharmony_ci union { 1208c2ecf20Sopenharmony_ci u8 targets; /* GICv2 target VCPUs mask */ 1218c2ecf20Sopenharmony_ci u32 mpidr; /* GICv3 target VCPU */ 1228c2ecf20Sopenharmony_ci }; 1238c2ecf20Sopenharmony_ci u8 source; /* GICv2 SGIs only */ 1248c2ecf20Sopenharmony_ci u8 active_source; /* GICv2 SGIs only */ 1258c2ecf20Sopenharmony_ci u8 priority; 1268c2ecf20Sopenharmony_ci u8 group; /* 0 == group 0, 1 == group 1 */ 1278c2ecf20Sopenharmony_ci enum vgic_irq_config config; /* Level or edge */ 1288c2ecf20Sopenharmony_ci 1298c2ecf20Sopenharmony_ci /* 1308c2ecf20Sopenharmony_ci * Callback function pointer to in-kernel devices that can tell us the 1318c2ecf20Sopenharmony_ci * state of the input level of mapped level-triggered IRQ faster than 1328c2ecf20Sopenharmony_ci * peaking into the physical GIC. 1338c2ecf20Sopenharmony_ci * 1348c2ecf20Sopenharmony_ci * Always called in non-preemptible section and the functions can use 1358c2ecf20Sopenharmony_ci * kvm_arm_get_running_vcpu() to get the vcpu pointer for private 1368c2ecf20Sopenharmony_ci * IRQs. 1378c2ecf20Sopenharmony_ci */ 1388c2ecf20Sopenharmony_ci bool (*get_input_level)(int vintid); 1398c2ecf20Sopenharmony_ci 1408c2ecf20Sopenharmony_ci void *owner; /* Opaque pointer to reserve an interrupt 1418c2ecf20Sopenharmony_ci for in-kernel devices. */ 1428c2ecf20Sopenharmony_ci}; 1438c2ecf20Sopenharmony_ci 1448c2ecf20Sopenharmony_cistruct vgic_register_region; 1458c2ecf20Sopenharmony_cistruct vgic_its; 1468c2ecf20Sopenharmony_ci 1478c2ecf20Sopenharmony_cienum iodev_type { 1488c2ecf20Sopenharmony_ci IODEV_CPUIF, 1498c2ecf20Sopenharmony_ci IODEV_DIST, 1508c2ecf20Sopenharmony_ci IODEV_REDIST, 1518c2ecf20Sopenharmony_ci IODEV_ITS 1528c2ecf20Sopenharmony_ci}; 1538c2ecf20Sopenharmony_ci 1548c2ecf20Sopenharmony_cistruct vgic_io_device { 1558c2ecf20Sopenharmony_ci gpa_t base_addr; 1568c2ecf20Sopenharmony_ci union { 1578c2ecf20Sopenharmony_ci struct kvm_vcpu *redist_vcpu; 1588c2ecf20Sopenharmony_ci struct vgic_its *its; 1598c2ecf20Sopenharmony_ci }; 1608c2ecf20Sopenharmony_ci const struct vgic_register_region *regions; 1618c2ecf20Sopenharmony_ci enum iodev_type iodev_type; 1628c2ecf20Sopenharmony_ci int nr_regions; 1638c2ecf20Sopenharmony_ci struct kvm_io_device dev; 1648c2ecf20Sopenharmony_ci}; 1658c2ecf20Sopenharmony_ci 1668c2ecf20Sopenharmony_cistruct vgic_its { 1678c2ecf20Sopenharmony_ci /* The base address of the ITS control register frame */ 1688c2ecf20Sopenharmony_ci gpa_t vgic_its_base; 1698c2ecf20Sopenharmony_ci 1708c2ecf20Sopenharmony_ci bool enabled; 1718c2ecf20Sopenharmony_ci struct vgic_io_device iodev; 1728c2ecf20Sopenharmony_ci struct kvm_device *dev; 1738c2ecf20Sopenharmony_ci 1748c2ecf20Sopenharmony_ci /* These registers correspond to GITS_BASER{0,1} */ 1758c2ecf20Sopenharmony_ci u64 baser_device_table; 1768c2ecf20Sopenharmony_ci u64 baser_coll_table; 1778c2ecf20Sopenharmony_ci 1788c2ecf20Sopenharmony_ci /* Protects the command queue */ 1798c2ecf20Sopenharmony_ci struct mutex cmd_lock; 1808c2ecf20Sopenharmony_ci u64 cbaser; 1818c2ecf20Sopenharmony_ci u32 creadr; 1828c2ecf20Sopenharmony_ci u32 cwriter; 1838c2ecf20Sopenharmony_ci 1848c2ecf20Sopenharmony_ci /* migration ABI revision in use */ 1858c2ecf20Sopenharmony_ci u32 abi_rev; 1868c2ecf20Sopenharmony_ci 1878c2ecf20Sopenharmony_ci /* Protects the device and collection lists */ 1888c2ecf20Sopenharmony_ci struct mutex its_lock; 1898c2ecf20Sopenharmony_ci struct list_head device_list; 1908c2ecf20Sopenharmony_ci struct list_head collection_list; 1918c2ecf20Sopenharmony_ci}; 1928c2ecf20Sopenharmony_ci 1938c2ecf20Sopenharmony_cistruct vgic_state_iter; 1948c2ecf20Sopenharmony_ci 1958c2ecf20Sopenharmony_cistruct vgic_redist_region { 1968c2ecf20Sopenharmony_ci u32 index; 1978c2ecf20Sopenharmony_ci gpa_t base; 1988c2ecf20Sopenharmony_ci u32 count; /* number of redistributors or 0 if single region */ 1998c2ecf20Sopenharmony_ci u32 free_index; /* index of the next free redistributor */ 2008c2ecf20Sopenharmony_ci struct list_head list; 2018c2ecf20Sopenharmony_ci}; 2028c2ecf20Sopenharmony_ci 2038c2ecf20Sopenharmony_cistruct vgic_dist { 2048c2ecf20Sopenharmony_ci bool in_kernel; 2058c2ecf20Sopenharmony_ci bool ready; 2068c2ecf20Sopenharmony_ci bool initialized; 2078c2ecf20Sopenharmony_ci 2088c2ecf20Sopenharmony_ci /* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */ 2098c2ecf20Sopenharmony_ci u32 vgic_model; 2108c2ecf20Sopenharmony_ci 2118c2ecf20Sopenharmony_ci /* Implementation revision as reported in the GICD_IIDR */ 2128c2ecf20Sopenharmony_ci u32 implementation_rev; 2138c2ecf20Sopenharmony_ci 2148c2ecf20Sopenharmony_ci /* Userspace can write to GICv2 IGROUPR */ 2158c2ecf20Sopenharmony_ci bool v2_groups_user_writable; 2168c2ecf20Sopenharmony_ci 2178c2ecf20Sopenharmony_ci /* Do injected MSIs require an additional device ID? */ 2188c2ecf20Sopenharmony_ci bool msis_require_devid; 2198c2ecf20Sopenharmony_ci 2208c2ecf20Sopenharmony_ci int nr_spis; 2218c2ecf20Sopenharmony_ci 2228c2ecf20Sopenharmony_ci /* base addresses in guest physical address space: */ 2238c2ecf20Sopenharmony_ci gpa_t vgic_dist_base; /* distributor */ 2248c2ecf20Sopenharmony_ci union { 2258c2ecf20Sopenharmony_ci /* either a GICv2 CPU interface */ 2268c2ecf20Sopenharmony_ci gpa_t vgic_cpu_base; 2278c2ecf20Sopenharmony_ci /* or a number of GICv3 redistributor regions */ 2288c2ecf20Sopenharmony_ci struct list_head rd_regions; 2298c2ecf20Sopenharmony_ci }; 2308c2ecf20Sopenharmony_ci 2318c2ecf20Sopenharmony_ci /* distributor enabled */ 2328c2ecf20Sopenharmony_ci bool enabled; 2338c2ecf20Sopenharmony_ci 2348c2ecf20Sopenharmony_ci /* Wants SGIs without active state */ 2358c2ecf20Sopenharmony_ci bool nassgireq; 2368c2ecf20Sopenharmony_ci 2378c2ecf20Sopenharmony_ci struct vgic_irq *spis; 2388c2ecf20Sopenharmony_ci 2398c2ecf20Sopenharmony_ci struct vgic_io_device dist_iodev; 2408c2ecf20Sopenharmony_ci 2418c2ecf20Sopenharmony_ci bool has_its; 2428c2ecf20Sopenharmony_ci 2438c2ecf20Sopenharmony_ci /* 2448c2ecf20Sopenharmony_ci * Contains the attributes and gpa of the LPI configuration table. 2458c2ecf20Sopenharmony_ci * Since we report GICR_TYPER.CommonLPIAff as 0b00, we can share 2468c2ecf20Sopenharmony_ci * one address across all redistributors. 2478c2ecf20Sopenharmony_ci * GICv3 spec: IHI 0069E 6.1.1 "LPI Configuration tables" 2488c2ecf20Sopenharmony_ci */ 2498c2ecf20Sopenharmony_ci u64 propbaser; 2508c2ecf20Sopenharmony_ci 2518c2ecf20Sopenharmony_ci /* Protects the lpi_list and the count value below. */ 2528c2ecf20Sopenharmony_ci raw_spinlock_t lpi_list_lock; 2538c2ecf20Sopenharmony_ci struct list_head lpi_list_head; 2548c2ecf20Sopenharmony_ci int lpi_list_count; 2558c2ecf20Sopenharmony_ci 2568c2ecf20Sopenharmony_ci /* LPI translation cache */ 2578c2ecf20Sopenharmony_ci struct list_head lpi_translation_cache; 2588c2ecf20Sopenharmony_ci 2598c2ecf20Sopenharmony_ci /* used by vgic-debug */ 2608c2ecf20Sopenharmony_ci struct vgic_state_iter *iter; 2618c2ecf20Sopenharmony_ci 2628c2ecf20Sopenharmony_ci /* 2638c2ecf20Sopenharmony_ci * GICv4 ITS per-VM data, containing the IRQ domain, the VPE 2648c2ecf20Sopenharmony_ci * array, the property table pointer as well as allocation 2658c2ecf20Sopenharmony_ci * data. This essentially ties the Linux IRQ core and ITS 2668c2ecf20Sopenharmony_ci * together, and avoids leaking KVM's data structures anywhere 2678c2ecf20Sopenharmony_ci * else. 2688c2ecf20Sopenharmony_ci */ 2698c2ecf20Sopenharmony_ci struct its_vm its_vm; 2708c2ecf20Sopenharmony_ci}; 2718c2ecf20Sopenharmony_ci 2728c2ecf20Sopenharmony_cistruct vgic_v2_cpu_if { 2738c2ecf20Sopenharmony_ci u32 vgic_hcr; 2748c2ecf20Sopenharmony_ci u32 vgic_vmcr; 2758c2ecf20Sopenharmony_ci u32 vgic_apr; 2768c2ecf20Sopenharmony_ci u32 vgic_lr[VGIC_V2_MAX_LRS]; 2778c2ecf20Sopenharmony_ci 2788c2ecf20Sopenharmony_ci unsigned int used_lrs; 2798c2ecf20Sopenharmony_ci}; 2808c2ecf20Sopenharmony_ci 2818c2ecf20Sopenharmony_cistruct vgic_v3_cpu_if { 2828c2ecf20Sopenharmony_ci u32 vgic_hcr; 2838c2ecf20Sopenharmony_ci u32 vgic_vmcr; 2848c2ecf20Sopenharmony_ci u32 vgic_sre; /* Restored only, change ignored */ 2858c2ecf20Sopenharmony_ci u32 vgic_ap0r[4]; 2868c2ecf20Sopenharmony_ci u32 vgic_ap1r[4]; 2878c2ecf20Sopenharmony_ci u64 vgic_lr[VGIC_V3_MAX_LRS]; 2888c2ecf20Sopenharmony_ci 2898c2ecf20Sopenharmony_ci /* 2908c2ecf20Sopenharmony_ci * GICv4 ITS per-VPE data, containing the doorbell IRQ, the 2918c2ecf20Sopenharmony_ci * pending table pointer, the its_vm pointer and a few other 2928c2ecf20Sopenharmony_ci * HW specific things. As for the its_vm structure, this is 2938c2ecf20Sopenharmony_ci * linking the Linux IRQ subsystem and the ITS together. 2948c2ecf20Sopenharmony_ci */ 2958c2ecf20Sopenharmony_ci struct its_vpe its_vpe; 2968c2ecf20Sopenharmony_ci 2978c2ecf20Sopenharmony_ci unsigned int used_lrs; 2988c2ecf20Sopenharmony_ci}; 2998c2ecf20Sopenharmony_ci 3008c2ecf20Sopenharmony_cistruct vgic_cpu { 3018c2ecf20Sopenharmony_ci /* CPU vif control registers for world switch */ 3028c2ecf20Sopenharmony_ci union { 3038c2ecf20Sopenharmony_ci struct vgic_v2_cpu_if vgic_v2; 3048c2ecf20Sopenharmony_ci struct vgic_v3_cpu_if vgic_v3; 3058c2ecf20Sopenharmony_ci }; 3068c2ecf20Sopenharmony_ci 3078c2ecf20Sopenharmony_ci struct vgic_irq private_irqs[VGIC_NR_PRIVATE_IRQS]; 3088c2ecf20Sopenharmony_ci 3098c2ecf20Sopenharmony_ci raw_spinlock_t ap_list_lock; /* Protects the ap_list */ 3108c2ecf20Sopenharmony_ci 3118c2ecf20Sopenharmony_ci /* 3128c2ecf20Sopenharmony_ci * List of IRQs that this VCPU should consider because they are either 3138c2ecf20Sopenharmony_ci * Active or Pending (hence the name; AP list), or because they recently 3148c2ecf20Sopenharmony_ci * were one of the two and need to be migrated off this list to another 3158c2ecf20Sopenharmony_ci * VCPU. 3168c2ecf20Sopenharmony_ci */ 3178c2ecf20Sopenharmony_ci struct list_head ap_list_head; 3188c2ecf20Sopenharmony_ci 3198c2ecf20Sopenharmony_ci /* 3208c2ecf20Sopenharmony_ci * Members below are used with GICv3 emulation only and represent 3218c2ecf20Sopenharmony_ci * parts of the redistributor. 3228c2ecf20Sopenharmony_ci */ 3238c2ecf20Sopenharmony_ci struct vgic_io_device rd_iodev; 3248c2ecf20Sopenharmony_ci struct vgic_redist_region *rdreg; 3258c2ecf20Sopenharmony_ci 3268c2ecf20Sopenharmony_ci /* Contains the attributes and gpa of the LPI pending tables. */ 3278c2ecf20Sopenharmony_ci u64 pendbaser; 3288c2ecf20Sopenharmony_ci 3298c2ecf20Sopenharmony_ci bool lpis_enabled; 3308c2ecf20Sopenharmony_ci 3318c2ecf20Sopenharmony_ci /* Cache guest priority bits */ 3328c2ecf20Sopenharmony_ci u32 num_pri_bits; 3338c2ecf20Sopenharmony_ci 3348c2ecf20Sopenharmony_ci /* Cache guest interrupt ID bits */ 3358c2ecf20Sopenharmony_ci u32 num_id_bits; 3368c2ecf20Sopenharmony_ci}; 3378c2ecf20Sopenharmony_ci 3388c2ecf20Sopenharmony_ciextern struct static_key_false vgic_v2_cpuif_trap; 3398c2ecf20Sopenharmony_ciextern struct static_key_false vgic_v3_cpuif_trap; 3408c2ecf20Sopenharmony_ci 3418c2ecf20Sopenharmony_ciint kvm_vgic_addr(struct kvm *kvm, unsigned long type, u64 *addr, bool write); 3428c2ecf20Sopenharmony_civoid kvm_vgic_early_init(struct kvm *kvm); 3438c2ecf20Sopenharmony_ciint kvm_vgic_vcpu_init(struct kvm_vcpu *vcpu); 3448c2ecf20Sopenharmony_ciint kvm_vgic_create(struct kvm *kvm, u32 type); 3458c2ecf20Sopenharmony_civoid kvm_vgic_destroy(struct kvm *kvm); 3468c2ecf20Sopenharmony_civoid kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu); 3478c2ecf20Sopenharmony_ciint kvm_vgic_map_resources(struct kvm *kvm); 3488c2ecf20Sopenharmony_ciint kvm_vgic_hyp_init(void); 3498c2ecf20Sopenharmony_civoid kvm_vgic_init_cpu_hardware(void); 3508c2ecf20Sopenharmony_ci 3518c2ecf20Sopenharmony_ciint kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int intid, 3528c2ecf20Sopenharmony_ci bool level, void *owner); 3538c2ecf20Sopenharmony_ciint kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, unsigned int host_irq, 3548c2ecf20Sopenharmony_ci u32 vintid, bool (*get_input_level)(int vindid)); 3558c2ecf20Sopenharmony_ciint kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid); 3568c2ecf20Sopenharmony_cibool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid); 3578c2ecf20Sopenharmony_ci 3588c2ecf20Sopenharmony_ciint kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu); 3598c2ecf20Sopenharmony_ci 3608c2ecf20Sopenharmony_civoid kvm_vgic_load(struct kvm_vcpu *vcpu); 3618c2ecf20Sopenharmony_civoid kvm_vgic_put(struct kvm_vcpu *vcpu); 3628c2ecf20Sopenharmony_civoid kvm_vgic_vmcr_sync(struct kvm_vcpu *vcpu); 3638c2ecf20Sopenharmony_ci 3648c2ecf20Sopenharmony_ci#define irqchip_in_kernel(k) (!!((k)->arch.vgic.in_kernel)) 3658c2ecf20Sopenharmony_ci#define vgic_initialized(k) ((k)->arch.vgic.initialized) 3668c2ecf20Sopenharmony_ci#define vgic_ready(k) ((k)->arch.vgic.ready) 3678c2ecf20Sopenharmony_ci#define vgic_valid_spi(k, i) (((i) >= VGIC_NR_PRIVATE_IRQS) && \ 3688c2ecf20Sopenharmony_ci ((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS)) 3698c2ecf20Sopenharmony_ci 3708c2ecf20Sopenharmony_cibool kvm_vcpu_has_pending_irqs(struct kvm_vcpu *vcpu); 3718c2ecf20Sopenharmony_civoid kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu); 3728c2ecf20Sopenharmony_civoid kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu); 3738c2ecf20Sopenharmony_civoid kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid); 3748c2ecf20Sopenharmony_ci 3758c2ecf20Sopenharmony_civoid vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1); 3768c2ecf20Sopenharmony_ci 3778c2ecf20Sopenharmony_ci/** 3788c2ecf20Sopenharmony_ci * kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW 3798c2ecf20Sopenharmony_ci * 3808c2ecf20Sopenharmony_ci * The host's GIC naturally limits the maximum amount of VCPUs a guest 3818c2ecf20Sopenharmony_ci * can use. 3828c2ecf20Sopenharmony_ci */ 3838c2ecf20Sopenharmony_cistatic inline int kvm_vgic_get_max_vcpus(void) 3848c2ecf20Sopenharmony_ci{ 3858c2ecf20Sopenharmony_ci return kvm_vgic_global_state.max_gic_vcpus; 3868c2ecf20Sopenharmony_ci} 3878c2ecf20Sopenharmony_ci 3888c2ecf20Sopenharmony_ci/** 3898c2ecf20Sopenharmony_ci * kvm_vgic_setup_default_irq_routing: 3908c2ecf20Sopenharmony_ci * Setup a default flat gsi routing table mapping all SPIs 3918c2ecf20Sopenharmony_ci */ 3928c2ecf20Sopenharmony_ciint kvm_vgic_setup_default_irq_routing(struct kvm *kvm); 3938c2ecf20Sopenharmony_ci 3948c2ecf20Sopenharmony_ciint kvm_vgic_set_owner(struct kvm_vcpu *vcpu, unsigned int intid, void *owner); 3958c2ecf20Sopenharmony_ci 3968c2ecf20Sopenharmony_cistruct kvm_kernel_irq_routing_entry; 3978c2ecf20Sopenharmony_ci 3988c2ecf20Sopenharmony_ciint kvm_vgic_v4_set_forwarding(struct kvm *kvm, int irq, 3998c2ecf20Sopenharmony_ci struct kvm_kernel_irq_routing_entry *irq_entry); 4008c2ecf20Sopenharmony_ci 4018c2ecf20Sopenharmony_ciint kvm_vgic_v4_unset_forwarding(struct kvm *kvm, int irq, 4028c2ecf20Sopenharmony_ci struct kvm_kernel_irq_routing_entry *irq_entry); 4038c2ecf20Sopenharmony_ci 4048c2ecf20Sopenharmony_ciint vgic_v4_load(struct kvm_vcpu *vcpu); 4058c2ecf20Sopenharmony_ciint vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db); 4068c2ecf20Sopenharmony_ci 4078c2ecf20Sopenharmony_ci#endif /* __KVM_ARM_VGIC_H */ 408