Rev 2 | Blame | Compare with Previous | Last modification | View Log | RSS feed
#include <lib9.h>
extern int _SEGFLUSH(void*, unsigned long);
int
segflush(void *va, unsigned long len)
{
return _SEGFLUSH(va, len);
}