Searched refs:sctlr (Results 1 – 10 of 10) sorted by relevance
201 ctxt->sctlr = v->arch.sctlr; in arch_get_info_guest()
592 register_t sctlr = READ_SYSREG(SCTLR_EL1); in guest_walk_tables() local615 if ( !(sctlr & SCTLR_Axx_ELx_M) ) in guest_walk_tables()
580 v->arch.sctlr = SCTLR_GUEST_INIT; in arch_vcpu_create()902 v->arch.sctlr = ctxt->sctlr; in arch_set_info_guest()
385 register_t sctlr = READ_SYSREG(SCTLR_EL1); in cpsr_switch_mode() local393 if ( sctlr & SCTLR_A32_ELx_TE ) in cpsr_switch_mode()395 if ( sctlr & SCTLR_Axx_ELx_EE ) in cpsr_switch_mode()401 register_t sctlr = READ_SYSREG(SCTLR_EL1); in exception_handler32() local403 if ( sctlr & SCTLR_A32_EL1_V ) in exception_handler32()959 ctxt.sctlr_el1 = v->arch.sctlr; in vcpu_show_registers()
53 ctxt->sctlr = SCTLR_GUEST_INIT; in do_common_cpu_on()
104 p->arch.sctlr = READ_SYSREG(SCTLR_EL1); in p2m_save_state()126 WRITE_SYSREG(n->arch.sctlr, SCTLR_EL1); in p2m_restore_state()
160 register_t sctlr; member
134 ctxt->sctlr = SCTLR_GUEST_INIT; in vcpu_arm32()176 ctxt->sctlr = SCTLR_GUEST_INIT; in vcpu_arm64()
296 uint64_t sctlr; member
602 printf("SCTLR: %08"PRIx32"\n", (uint32_t)ctx->sctlr); in print_ctx_32()664 printf("SCTLR_EL1: %016"PRIx64"\n", ctx->sctlr); in print_ctx_64()
Completed in 20 milliseconds