|
@@ -33,6 +33,11 @@ enum irq_remap_cap {
|
|
|
IRQ_POSTING_CAP = 0,
|
|
|
};
|
|
|
|
|
|
+struct vcpu_data {
|
|
|
+ u64 pi_desc_addr; /* Physical address of PI Descriptor */
|
|
|
+ u32 vector; /* Guest vector of the interrupt */
|
|
|
+};
|
|
|
+
|
|
|
#ifdef CONFIG_IRQ_REMAP
|
|
|
|
|
|
extern bool irq_remapping_cap(enum irq_remap_cap cap);
|
|
@@ -58,11 +63,6 @@ static inline struct irq_domain *arch_get_ir_parent_domain(void)
|
|
|
return x86_vector_domain;
|
|
|
}
|
|
|
|
|
|
-struct vcpu_data {
|
|
|
- u64 pi_desc_addr; /* Physical address of PI Descriptor */
|
|
|
- u32 vector; /* Guest vector of the interrupt */
|
|
|
-};
|
|
|
-
|
|
|
#else /* CONFIG_IRQ_REMAP */
|
|
|
|
|
|
static inline bool irq_remapping_cap(enum irq_remap_cap cap) { return 0; }
|