Searched defs:eoicount (Results 1 – 2 of 2) sorted by relevance
117 u32 eoicount = FIELD_GET(GICH_HCR_EOICOUNT, cpuif->vgic_hcr); in vgic_v2_fold_lr_state() local
150 u32 eoicount = FIELD_GET(ICH_HCR_EL2_EOIcount, cpuif->vgic_hcr); in vgic_v3_fold_lr_state() local