cacheflush
SYSCALL_DEFINE3(cacheflush, uint32_t, start, uint32_t, sz, uint32_t, flags)
case NR(cacheflush):
SYSCALL_DEFINE3(cacheflush,
SYSCALL_DEFINE3(cacheflush, unsigned long, addr, unsigned long, bytes,
SYSCALL_DEFINE3(cacheflush, unsigned long, addr, unsigned long, bytes,
cacheflush();
static void cacheflush(void);