#include <sys/types.h>#include <sys/syscall.h> #include "dat.h" intsegflush(void *a, ulong n){	USED(a); USED(n);	return 0;}