ref: babf901b4a508c3ec5d1f89655f10377bbdf9637
dir: /emu/Linux/segflush-arm.c/
#include <sys/types.h>
#include <sys/syscall.h>
#include "dat.h"
#define SYS_cacheflush __ARM_NR_cacheflush
int
segflush(void *a, ulong n)
{
if(n)
syscall(SYS_cacheflush, a, (char*)a+n-1, 1);
return 0;
}