Searched refs:idai (Results 1 – 3 of 3) sorted by relevance
49 bool idai; member
106 vm->vpes[i]->idai = true; in its_alloc_vcpu_irqs()
2845 val |= vpe->idai ? GICR_VPENDBASER_IDAI : 0; in its_vpe_schedule()2859 vpe->idai = false; in its_vpe_deschedule()2862 vpe->idai = !!(val & GICR_VPENDBASER_IDAI); in its_vpe_deschedule()
