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