1 2 3 4 5 6 7 8 9 10 11 12
#include <sys/types.h> #include <machine/cpu.h> #include "dat.h" int segflush(void *a, ulong n) { __syncicache(a, n); return 0; }