Searched refs:vgic_sre (Results 1 – 3 of 3) sorted by relevance
310 u32 vgic_sre; /* Restored only, change ignored */ member
295 *val = vgicv3->vgic_sre; in get_gic_sre()
534 p->regval = vcpu->arch.vgic_cpu.vgic_v3.vgic_sre; in access_gic_sre()