Symbol: HOST_CPTR_EL2
sys/arm64/vmm/vmm_hyp.c
335
hypctx_write_sys_reg(hypctx, HOST_CPTR_EL2,
sys/arm64/vmm/vmm_hyp.c
442
hypctx_read_sys_reg(hypctx, HOST_CPTR_EL2));
sys/arm64/vmm/vmm_reset.c
143
hypctx_write_sys_reg(el2ctx, HOST_CPTR_EL2,
sys/arm64/vmm/vmm_reset.c
146
hypctx_write_sys_reg(el2ctx, HOST_CPTR_EL2,
sys/arm64/vmm/vmm_reset.c
148
*hypctx_sys_reg(el2ctx, HOST_CPTR_EL2) &= ~CPTR_TCPAC;