2019-06-04 16:11:33 +08:00
|
|
|
// SPDX-License-Identifier: GPL-2.0-only
|
2014-03-16 21:14:38 +08:00
|
|
|
/*
|
|
|
|
* 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();
|
|
|
|
}
|