// SPDX-License-Identifier: GPL-2.0-only /* * Copyright (C) 2010 ARM Ltd. * Written by Catalin Marinas <catalin.marinas@arm.com> */ #include <linux/bug.h> #include <linux/smp.h> #include <asm/outercache.h> void outer_disable(void) { WARN_ON(!irqs_disabled()); WARN_ON(num_online_cpus() > 1); if (outer_cache.disable) outer_cache.disable(); }