Searched refs:vgic_reserve_virq (Results 1 – 8 of 8) sorted by relevance
| /xen-4.10.0-shim-comet/xen/arch/arm/ |
| A D | vtimer.c | 76 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_SECURE_PPI)) ) in domain_vtimer_init()
79 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_NONSECURE_PPI)) ) in domain_vtimer_init()
82 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_VIRT_PPI)) ) in domain_vtimer_init()
87 if ( !vgic_reserve_virq(d, GUEST_TIMER_PHYS_S_PPI) ) in domain_vtimer_init()
90 if ( !vgic_reserve_virq(d, GUEST_TIMER_PHYS_NS_PPI) ) in domain_vtimer_init()
93 if ( !vgic_reserve_virq(d, GUEST_TIMER_VIRT_PPI) ) in domain_vtimer_init()
|
| A D | domctl.c | 103 if ( !vgic_reserve_virq(d, virq) ) in arch_do_domctl()
|
| A D | vpl011.c | 471 rc = vgic_reserve_virq(d, GUEST_VPL011_SPI); in domain_vpl011_init()
|
| A D | vgic.c | 596 bool vgic_reserve_virq(struct domain *d, unsigned int virq) in vgic_reserve_virq() function
|
| A D | domain.c | 662 if ( !vgic_reserve_virq(d, GUEST_EVTCHN_PPI) ) in arch_domain_create()
|
| A D | gic-v2.c | 640 if ( !vgic_reserve_virq(d, spi) ) in gicv2_map_hwdown_extra_mappings()
|
| A D | domain_build.c | 948 vgic_reserve_virq(d, irq); in map_irq_to_domain()
|
| /xen-4.10.0-shim-comet/xen/include/asm-arm/ |
| A D | vgic.h | 228 extern bool vgic_reserve_virq(struct domain *d, unsigned int virq);
|
Completed in 14 milliseconds