/* Performs a invalidation of the entire data cache at all levels  */
void invalidate_dcache_all(void)
/* Performs a invalidation of the entire data cache at all levels  */
void invalidate_dcache_all(void)
{
	__asm_invalidate_dcache_all();
	__asm_invalidate_l3_dcache();
}