2 * Copyright (c) 2016, NVIDIA CORPORATION.
4 * SPDX-License-Identifier: GPL-2.0
8 #include <asm/system.h>
10 #define SMC_SIP_INVOKE_MCE 0x82FFFF00
11 #define MCE_SMC_ROC_FLUSH_CACHE 11
13 int __asm_flush_l3_cache(void)
15 struct pt_regs regs = {0};
19 regs.regs[0] = SMC_SIP_INVOKE_MCE | MCE_SMC_ROC_FLUSH_CACHE;