1 #include <lib9.h> 2 3 extern int _SEGFLUSH(void*, unsigned long); 4 5 int segflush(void * va,unsigned long len)6 segflush(void *va, unsigned long len) 7 { 8 return _SEGFLUSH(va, len); 9 } 10