Searched refs:sctlr (Results 1 – 10 of 10) sorted by relevance
195 ctxt->sctlr = v->arch.sctlr; in arch_get_info_guest()
592 uint32_t sctlr = READ_SYSREG(SCTLR_EL1); in guest_walk_tables() local615 if ( !(sctlr & SCTLR_M) ) in guest_walk_tables()
55 ctxt->sctlr = SCTLR_GUEST_INIT; in do_common_cpu_on()
539 v->arch.sctlr = SCTLR_GUEST_INIT; in vcpu_initialise()799 v->arch.sctlr = ctxt->sctlr; in arch_set_info_guest()
407 uint32_t sctlr = READ_SYSREG32(SCTLR_EL1); in cpsr_switch_mode() local415 if ( sctlr & SCTLR_TE ) in cpsr_switch_mode()417 if ( sctlr & SCTLR_EE ) in cpsr_switch_mode()423 uint32_t sctlr = READ_SYSREG32(SCTLR_EL1); in exception_handler32() local425 if (sctlr & SCTLR_V) in exception_handler32()1009 ctxt.sctlr_el1 = v->arch.sctlr; in vcpu_show_registers()
109 p->arch.sctlr = READ_SYSREG(SCTLR_EL1); in p2m_save_state()123 WRITE_SYSREG(n->arch.sctlr, SCTLR_EL1); in p2m_restore_state()
219 uint32_t actlr, sctlr; member
294 uint32_t sctlr; member
151 ctxt->sctlr = SCTLR_GUEST_INIT; in vcpu_arm32()193 ctxt->sctlr = SCTLR_GUEST_INIT; in vcpu_arm64()
678 printf("SCTLR: %08"PRIx32"\n", ctx->sctlr); in print_ctx()
Completed in 19 milliseconds