MDSCR_EL1 - FreeBSD

1420

MDSCR_EL1) & MDSCR_SS);

1423

*hypctx_sys_reg(hypctx, MDSCR_EL1) |= MDSCR_SS;

1430

*hypctx_sys_reg(hypctx, MDSCR_EL1) &= ~MDSCR_SS;

1432

MDSCR_EL1) |= hypctx->debug_mdscr;

298

hypctx_write_sys_reg(hypctx, MDSCR_EL1, READ_SPECIALREG(mdscr_el1));

401

WRITE_SPECIALREG(mdscr_el1, hypctx_read_sys_reg(hypctx, MDSCR_EL1));

311

HDFGWTR, MDSCR_EL1, NOTRAP);