Searched refs:sysreg_invalidate_i_and_d_caches (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/arch/armv8/
H A Dsysreg.S21 sysreg_invalidate_i_and_d_caches,\
92 sysreg_invalidate_i_and_d_caches: label
/barrelfish-master/kernel/include/arch/armv8/
H A Dsysreg.h17 void sysreg_invalidate_i_and_d_caches(void);

Completed in 92 milliseconds