Searched defs:vgic_interrupt (Results 1 – 2 of 2) sorted by relevance
694 uint32_t vgic_interrupt = vms->virt ? ARCH_GIC_MAINT_IRQ : 0; in build_madt() local
1035 u32 vgic_interrupt; member