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