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