Searched refs:idai (Results 1 – 3 of 3) sorted by relevance
48 bool idai; member
153 vm->vpes[i]->idai = true; in its_alloc_vcpu_irqs()
3841 val |= vpe->idai ? GICR_VPENDBASER_IDAI : 0; in its_vpe_schedule()3855 vpe->idai = !!(val & GICR_VPENDBASER_IDAI); in its_vpe_deschedule()