/* SPDX-License-Identifier: GPL-2.0-only */
|
/*
|
* Copyright (c) 2017-2021, The Linux Foundation. All rights reserved.
|
* Copyright (c) 2023 Rockchip Electronics Co., Ltd.
|
*/
|
|
#include <linux/linkage.h>
|
#include <asm/assembler.h>
|
#include <asm/alternative.h>
|
|
/*
|
* __flush_dcache_area(kaddr, size)
|
*
|
* Ensure that any D-cache lines for the interval [kaddr, kaddr+size)
|
* are cleaned and invalidated to the PoC.
|
*
|
* - kaddr - kernel address
|
* - size - size in question
|
*/
|
SYM_FUNC_START_PI(rk_md_flush_dcache_area)
|
dcache_by_line_op civac, sy, x0, x1, x2, x3
|
ret
|
SYM_FUNC_END_PI(rk_md_flush_dcache_area)
|
