1/* SPDX-License-Identifier: GPL-2.0-only */ 2/* 3 * Copyright (c) 2017-2021, The Linux Foundation. All rights reserved. 4 * Copyright (c) 2023 Rockchip Electronics Co., Ltd. 5 */ 6 7#include <linux/linkage.h> 8#include <asm/assembler.h> 9#include <asm/alternative.h> 10 11/* 12 * __flush_dcache_area(kaddr, size) 13 * 14 * Ensure that any D-cache lines for the interval [kaddr, kaddr+size) 15 * are cleaned and invalidated to the PoC. 16 * 17 * - kaddr - kernel address 18 * - size - size in question 19 */ 20SYM_FUNC_START_PI(rk_md_flush_dcache_area) 21 dcache_by_line_op civac, sy, x0, x1, x2, x3 22 ret 23SYM_FUNC_END_PI(rk_md_flush_dcache_area) 24