Kernel Loader: Difference between revisions
| Line 328: | Line 328: | ||
__dsb_sy(); | __dsb_sy(); | ||
// asm { tlbi | // asm { tlbi vmalle1is; } | ||
__dsb_sy(); | __dsb_sy(); | ||
__isb(); | __isb(); | ||
| Line 328: | Line 328: | ||
__dsb_sy(); | __dsb_sy(); | ||
// asm { tlbi | // asm { tlbi vmalle1is; } | ||
__dsb_sy(); | __dsb_sy(); | ||
__isb(); | __isb(); | ||