Lines Matching refs:domain
141 unsigned long gicv3_its_make_hwdom_madt(const struct domain *d,
146 int gicv3_its_deny_access(const struct domain *d);
150 unsigned int vgic_v3_its_count(const struct domain *d);
168 int vgic_v3_its_init_domain(struct domain *d);
169 void vgic_v3_its_free_domain(struct domain *d);
172 int gicv3_its_make_hwdom_dt_nodes(const struct domain *d,
181 int gicv3_its_map_guest_device(struct domain *d,
186 int gicv3_allocate_host_lpi_block(struct domain *d, uint32_t *first_lpi);
189 void vgic_vcpu_inject_lpi(struct domain *d, unsigned int virq);
191 struct pending_irq *gicv3_its_get_event_pending_irq(struct domain *d,
195 int gicv3_remove_guest_event(struct domain *d, paddr_t vdoorbell_address,
197 struct pending_irq *gicv3_assign_guest_event(struct domain *d, paddr_t doorbell,
214 static inline unsigned long gicv3_its_make_hwdom_madt(const struct domain *d, in gicv3_its_make_hwdom_madt()
221 static inline int gicv3_its_deny_access(const struct domain *d) in gicv3_its_deny_access()
231 static inline unsigned int vgic_v3_its_count(const struct domain *d) in vgic_v3_its_count()
268 static inline int vgic_v3_its_init_domain(struct domain *d) in vgic_v3_its_init_domain()
273 static inline void vgic_v3_its_free_domain(struct domain *d) in vgic_v3_its_free_domain()
277 static inline int gicv3_its_make_hwdom_dt_nodes(const struct domain *d, in gicv3_its_make_hwdom_dt_nodes()