Searched refs:invalidate_instruction_cache (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/include/arch/armv7/
H A Dcache.h108 invalidate_instruction_cache(void) { function
/barrelfish-master/kernel/arch/armv7/
H A Dpaging_init.c223 invalidate_instruction_cache();
H A Dpaging.c131 invalidate_instruction_cache();

Completed in 49 milliseconds