Searched refs:vmcr (Results 1 – 3 of 3) sorted by relevance
174 uint32_t hcr, vmcr, sre_el1; member187 uint32_t vmcr; member
189 v->arch.gic.v2.vmcr = readl_gich(GICH_VMCR); in gicv2_save_state()202 writel_gich(v->arch.gic.v2.vmcr, GICH_VMCR); in gicv2_restore_state()
374 v->arch.gic.v3.vmcr = READ_SYSREG32(ICH_VMCR_EL2); in gicv3_save_state()403 WRITE_SYSREG32(v->arch.gic.v3.vmcr, ICH_VMCR_EL2); in gicv3_restore_state()
Completed in 9 milliseconds