Searched refs:sctlr_el1 (Results 1 – 1 of 1) sorted by relevance
218 uint64_t sctlr_el1, tcr_el1; in aarch64_vcpu_setup() local237 get_reg(vm, vcpuid, ARM64_SYS_REG(SCTLR_EL1), &sctlr_el1); in aarch64_vcpu_setup()271 sctlr_el1 |= (1 << 0) | (1 << 2) | (1 << 12) /* M | C | I */; in aarch64_vcpu_setup()276 set_reg(vm, vcpuid, ARM64_SYS_REG(SCTLR_EL1), sctlr_el1); in aarch64_vcpu_setup()