#include "syscall.h"#include <sys/asm.h>#include <sys/regdef.h>#include <asm/cachectl.h> /* * int segflush(void *p, ulong len) */ LEAF(segflush)	li	a2,BCACHE	li	v0,SYS_cacheflush	syscall	li	v0,0	j	$31	END(segflush)