1234567891011121314151617 |
- // SPDX-License-Identifier: GPL-2.0-only
- /*
- * Copyright (C) 2010 ARM Ltd.
- * Written by Catalin Marinas <[email protected]>
- */
- #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();
- }
|