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}
18