Home
last modified time | relevance | path

Searched refs:GUEST_VPL011_SPI (Results 1 – 3 of 3) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dvpl011.c71 vgic_vcpu_inject_spi(d, GUEST_VPL011_SPI); in vpl011_update_interrupt_status()
471 rc = vgic_reserve_virq(d, GUEST_VPL011_SPI); in domain_vpl011_init()
493 vgic_free_virq(d, GUEST_VPL011_SPI); in domain_vpl011_init()
/xen-4.10.0-shim-comet/xen/include/public/
A Darch-arm.h452 #define GUEST_VPL011_SPI 32 macro
/xen-4.10.0-shim-comet/tools/libxl/
A Dlibxl_arm.c54 nr_spis += (GUEST_VPL011_SPI - 32) + 1; in libxl__arch_domain_prepare_config()
55 vuart_irq = GUEST_VPL011_SPI; in libxl__arch_domain_prepare_config()
638 set_interrupt(intr, GUEST_VPL011_SPI, 0xf, DT_IRQ_TYPE_LEVEL_HIGH); in make_vpl011_uart_node()

Completed in 7 milliseconds