sys/arm64/include/armreg.h

2717

#define SCTLR_EL1_REG MRS_REG_ALT_NAME(SCTLR_EL1)

sys/arm64/vmm/vmm_arm64.c

1153

if ((hypctx_read_sys_reg(hypctx, SCTLR_EL1) &

sys/arm64/vmm/vmm_arm64.c

1157

if ((hypctx_read_sys_reg(hypctx, SCTLR_EL1) &

sys/arm64/vmm/vmm_arm64.c

1294

return hypctx_sys_reg(hypctx, SCTLR_EL1);

sys/arm64/vmm/vmm_arm64.c

663

if ((hypctx_read_sys_reg(hypctx, SCTLR_EL1) & SCTLR_M) != 0)

sys/arm64/vmm/vmm_hyp.c

321

hypctx_write_sys_reg(hypctx, SCTLR_EL1,

sys/arm64/vmm/vmm_hyp.c

425

hypctx_read_sys_reg(hypctx, SCTLR_EL1));

sys/arm64/vmm/vmm_reset.c

440

HFGWTR, SCTLR_EL1, NOTRAP);

sys/arm64/vmm/vmm_reset.c

63

*hypctx_sys_reg(el2ctx, SCTLR_EL1) = SCTLR_RES1;

sys/arm64/vmm/vmm_reset.c

64

*hypctx_sys_reg(el2ctx, SCTLR_EL1) &= ~SCTLR_M & ~SCTLR_C & ~SCTLR_I;

sys/arm64/vmm/vmm_reset.c

65

*hypctx_sys_reg(el2ctx, SCTLR_EL1) |= SCTLR_CP15BEN;