1 #include <lib9.h> 2 3 extern int _SEGDETACH(void *); 4 5 int 6 segdetach(void *addr) 7 { 8 return _SEGDETACH(addr); 9 } 10 11