sys/arm64/vmm/vmm_arm64.c

1119

mode = hypctx_read_sys_reg(hypctx, HOST_SPSR_EL2) &

sys/arm64/vmm/vmm_arm64.c

1140

new_spsr = hypctx_read_sys_reg(hypctx, HOST_SPSR_EL2);

sys/arm64/vmm/vmm_arm64.c

1144

hypctx_write_sys_reg(hypctx, HOST_SPSR_EL2,

sys/arm64/vmm/vmm_arm64.c

1146

*hypctx_sys_reg(hypctx, HOST_SPSR_EL2) |= PSR_DAIF |

sys/arm64/vmm/vmm_arm64.c

1156

HOST_SPSR_EL2) |= PSR_PAN;

sys/arm64/vmm/vmm_arm64.c

1160

HOST_SPSR_EL2) &= ~PSR_SSBS;

sys/arm64/vmm/vmm_arm64.c

1163

HOST_SPSR_EL2) |= PSR_SSBS;

sys/arm64/vmm/vmm_arm64.c

1290

return hypctx_sys_reg(hypctx, HOST_SPSR_EL2);

sys/arm64/vmm/vmm_arm64.c

1418

HOST_SPSR_EL2) & PSR_SS);

sys/arm64/vmm/vmm_arm64.c

1422

*hypctx_sys_reg(hypctx, HOST_SPSR_EL2) |= PSR_SS;

sys/arm64/vmm/vmm_arm64.c

1426

*hypctx_sys_reg(hypctx, HOST_SPSR_EL2) &= ~PSR_SS;

sys/arm64/vmm/vmm_arm64.c

1428

HOST_SPSR_EL2) |= hypctx->debug_spsr;

sys/arm64/vmm/vmm_arm64.c

1443

host_spsr_el2 = hypctx_read_sys_reg(hypctx, HOST_SPSR_EL2);

sys/arm64/vmm/vmm_arm64.c

1452

hypctx_write_sys_reg(hypctx, HOST_SPSR_EL2, host_spsr_el2);

sys/arm64/vmm/vmm_arm64.c

662

paging->flags = hypctx_read_sys_reg(hypctx, HOST_SPSR_EL2) & (PSR_M_MASK | PSR_M_32);

sys/arm64/vmm/vmm_arm64.c

688

if ((hypctx_read_sys_reg(hypctx, HOST_SPSR_EL2) & PSR_M_MASK) == PSR_M_EL0t)

sys/arm64/vmm/vmm_hyp.c

278

hypctx_write_sys_reg(hypctx, HOST_SPSR_EL2, READ_SPECIALREG(spsr_el2));

sys/arm64/vmm/vmm_hyp.c

451

WRITE_SPECIALREG(spsr_el2, hypctx_read_sys_reg(hypctx, HOST_SPSR_EL2));

sys/arm64/vmm/vmm_reset.c

153

hypctx_write_sys_reg(el2ctx, HOST_SPSR_EL2, PSR_D | PSR_A | PSR_I | PSR_F);

sys/arm64/vmm/vmm_reset.c

155

*hypctx_sys_reg(el2ctx, HOST_SPSR_EL2) |= PSR_M_EL1h;