1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * Copyright (C) 2010 ARM Ltd. 4 * Written by Catalin Marinas <catalin.marinas@arm.com> 5 */ 6 #include <linux/bug.h> 7 #include <linux/smp.h> 8 #include <asm/outercache.h> 9 10 void outer_disable(void) 11 { 12 WARN_ON(!irqs_disabled()); 13 WARN_ON(num_online_cpus() > 1); 14 15 if (outer_cache.disable) 16 outer_cache.disable(); 17 } 18