ref: 27598a9c874c115795a3d59de093f8f158a73d87
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;
}