/* So, we only need to register outer cache operations here if we're being used on a pre-v7 CPU, and we only need to build support for outer cache operations into the kernel image if the kernel has been configured to support a pre-v7 CPU. Low-level cache maintenance operations.  */
static void tauros2_clean_pa(unsigned long addr)
/* So, we only need to register outer cache operations here if we're being used on a pre-v7 CPU, and we only need to build support for outer cache operations into the kernel image if the kernel has been configured to support a pre-v7 CPU. Low-level cache maintenance operations.  */
static void tauros2_clean_pa(unsigned long addr)
{
	__asm__("mcr p15, 1, %0, c7, c11, 3" : : "r" (addr));
}