Searched refs:invalidate_tlb (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/include/arch/armv7/
H A Dpaging_kernel_arch.h73 invalidate_tlb();
79 invalidate_tlb();
84 invalidate_tlb();
H A Dcache.h114 invalidate_tlb(void) { function
/barrelfish-master/kernel/arch/armv7/
H A Dpaging_init.c224 invalidate_tlb();
275 invalidate_tlb();
H A Dpaging.c128 invalidate_tlb();
237 invalidate_tlb(); /* XXX selective */
415 invalidate_tlb(); /* XXX selective */
478 invalidate_tlb(); /* XXX selective */
551 invalidate_tlb(); /* XXX selective */

Completed in 40 milliseconds