Searched refs:write_sysreg (Results 1 – 2 of 2) sorted by relevance
19 use crate::{dsb, isb, read_sysreg, tlbi, write_sysreg};38 unsafe { write_sysreg!("tcr_el1", tcr) } in set_dbm_enabled()
41 macro_rules! write_sysreg { macro