/* Invalidates the TLB Helper function which invalidates the entire TLB. This action is performed whenever the MMU is (re-)enabled or changes to the page tables are made at run-time, as the TLB might contain entries which are no longer valid once the changes are applied.  */
static void invalidate_tlb_all(void)
/* Invalidates the TLB Helper function which invalidates the entire TLB. This action is performed whenever the MMU is (re-)enabled or changes to the page tables are made at run-time, as the TLB might contain entries which are no longer valid once the changes are applied.  */
static void invalidate_tlb_all(void)
{
	__set_TLBIALL(0);
	barrier_dsync_fence_full();
	barrier_isync_fence_full();
}