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 
outer_disable(void)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