2 * Copyright (c) 2016, NVIDIA CORPORATION.
4 * SPDX-License-Identifier: GPL-2.0
8 #include <linux/linkage.h>
10 #define SMC_SIP_INVOKE_MCE 0x82FFFF00
11 #define MCE_SMC_ROC_FLUSH_CACHE (SMC_SIP_INVOKE_MCE | 11)
13 ENTRY(__asm_flush_l3_cache)
14 mov x0, #(MCE_SMC_ROC_FLUSH_CACHE & 0xffff)
15 movk x0, #(MCE_SMC_ROC_FLUSH_CACHE >> 16), lsl #16
25 ENDPROC(__asm_flush_l3_cache)