Lines Matching refs:domain
141 int (*domain_init)(struct domain *d);
143 void (*domain_free)(struct domain *d);
147 struct pending_irq *(*lpi_to_pending)(struct domain *d, unsigned int vlpi);
148 int (*lpi_get_priority)(struct domain *d, uint32_t vlpi);
156 #define vgic_lock(v) spin_lock_irq(&(v)->domain->arch.vgic.lock)
157 #define vgic_unlock(v) spin_unlock_irq(&(v)->domain->arch.vgic.lock)
201 extern int domain_vgic_init(struct domain *d, unsigned int nr_spis);
202 extern void domain_vgic_free(struct domain *d);
206 extern void vgic_vcpu_inject_spi(struct domain *d, unsigned int virq);
210 extern struct pending_irq *spi_to_pending(struct domain *d, unsigned int irq);
216 extern void register_vgic_ops(struct domain *d, const struct vgic_ops *ops);
217 int vgic_v2_init(struct domain *d, int *mmio_count);
218 int vgic_v3_init(struct domain *d, int *mmio_count);
220 extern int domain_vgic_register(struct domain *d, int *mmio_count);
228 extern bool vgic_reserve_virq(struct domain *d, unsigned int virq);
235 extern int vgic_allocate_virq(struct domain *d, bool spi);
237 static inline int vgic_allocate_ppi(struct domain *d) in vgic_allocate_ppi()
242 static inline int vgic_allocate_spi(struct domain *d) in vgic_allocate_spi()
247 extern void vgic_free_virq(struct domain *d, unsigned int virq);