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 |