Searched refs:GUEST_VPL011_SPI (Results 1 – 3 of 3) sorted by relevance
71 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()
452 #define GUEST_VPL011_SPI 32 macro
54 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 6 milliseconds