Searched refs:hcr_el2 (Results 1 – 4 of 4) sorted by relevance
228 register_t hcr_el2; member
545 v->arch.hcr_el2 = get_default_hcr_flags(); in vcpu_initialise()571 v->arch.hcr_el2 |= HCR_RW; in vcpu_switch_to_aarch64_mode()
684 current->arch.hcr_el2 |= HCR_VA; in inject_vabt_exception()685 WRITE_SYSREG(current->arch.hcr_el2, HCR_EL2); in inject_vabt_exception()2095 if ( current->arch.hcr_el2 & HCR_VA ) in enter_hypervisor_head()2096 current->arch.hcr_el2 = READ_SYSREG(HCR_EL2); in enter_hypervisor_head()
126 WRITE_SYSREG(n->arch.hcr_el2, HCR_EL2); in p2m_restore_state()
Completed in 15 milliseconds