Searched refs:SCTLR_EL2 (Results 1 – 4 of 4) sorted by relevance
483 msr SCTLR_EL2, x0682 mrs x0, SCTLR_EL2686 msr SCTLR_EL2, x0 /* now paging is enabled */
333 #define SCTLR_EL2 HSCTLR macro
619 WRITE_SYSREG32(READ_SYSREG32(SCTLR_EL2) | SCTLR_Axx_ELx_WXN, SCTLR_EL2); in xen_pt_enforce_wnx()
917 printk(" SCTLR_EL2: %08"PRIx32"\n", READ_SYSREG32(SCTLR_EL2)); in _show_registers()
Completed in 13 milliseconds