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
10void 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}