Searched refs:tlbi (Results 1 – 3 of 3) sorted by relevance
19 use crate::{dsb, isb, read_sysreg, tlbi, write_sysreg};81 tlbi!("vale1", PageTable::ASID, va_range.start().0); in mark_dirty_block()
78 macro_rules! tlbi { macro
110 tlbi vmalle1