Searched refs:vgic_reserve_virq (Results 1 – 9 of 9) sorted by relevance
| /xen/xen/arch/arm/ |
| A D | vtimer.c | 74 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_SECURE_PPI)) ) in domain_vtimer_init()
77 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_NONSECURE_PPI)) ) in domain_vtimer_init()
80 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_VIRT_PPI)) ) in domain_vtimer_init()
85 if ( !vgic_reserve_virq(d, GUEST_TIMER_PHYS_S_PPI) ) in domain_vtimer_init()
88 if ( !vgic_reserve_virq(d, GUEST_TIMER_PHYS_NS_PPI) ) in domain_vtimer_init()
91 if ( !vgic_reserve_virq(d, GUEST_TIMER_VIRT_PPI) ) in domain_vtimer_init()
|
| A D | domctl.c | 109 if ( !vgic_reserve_virq(d, virq) ) in arch_do_domctl()
|
| A D | vpl011.c | 664 rc = vgic_reserve_virq(d, GUEST_VPL011_SPI); in domain_vpl011_init()
|
| A D | vgic.c | 620 bool vgic_reserve_virq(struct domain *d, unsigned int virq) in vgic_reserve_virq() function
|
| A D | domain.c | 751 if ( !vgic_reserve_virq(d, GUEST_EVTCHN_PPI) ) in arch_domain_create()
|
| A D | gic-v2.c | 742 if ( !vgic_reserve_virq(d, spi) ) in gicv2_map_hwdown_extra_mappings()
|
| A D | domain_build.c | 1166 vgic_reserve_virq(d, irq); in map_irq_to_domain()
|
| /xen/xen/include/asm-arm/ |
| A D | vgic.h | 318 extern bool vgic_reserve_virq(struct domain *d, unsigned int virq);
|
| /xen/xen/arch/arm/vgic/ |
| A D | vgic.c | 713 bool vgic_reserve_virq(struct domain *d, unsigned int virq) in vgic_reserve_virq() function
|
Completed in 19 milliseconds