Searched full:intid (Results 1 – 3 of 3) sorted by relevance
159 in-kernel virtual GIC. These must be a PPI (16 <= intid < 32). Setting the163 KVM_ARM_VCPU_TIMER_IRQ_VTIMER The EL1 virtual timer intid (default: 27)164 KVM_ARM_VCPU_TIMER_IRQ_PTIMER The EL1 physical timer intid (default: 30)
122 A list of pairs <intid span>, where "intid" is the first SPI of a range
177 an 8-bit x86/x64 interrupt vector, or an arm64 PPI INTID). Because