Quelle  syscache.c   Sprache: C

// SPDX-License-Identifier: GPL-2.0
// Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.

#include <linux/syscalls.h>
#include <asm/page.h>
#include <asm/cacheflush.h>
#include <asm/cachectl.h>

SYSCALL_DEFINE3(cacheflush,
  void __user *, addr,
  unsigned long, bytes,
  int, cache)
{
 switch (cache) {
 case BCACHE:
 case DCACHE:
  dcache_wb_range((unsigned long)addr,
    (unsigned long)addr + bytes);
  if (cache != BCACHE)
   break;
  fallthrough;
 case ICACHE:
  flush_icache_mm_range(current->mm,
    (unsigned long)addr,
    (unsigned long)addr + bytes);
  break;
 default:
  return -EINVAL;
 }

 return 0;
}