_kern_select
_kern_select(int numFDs, fd_set *readSet, fd_set *writeSet, fd_set *errorSet,
void _kern_select() {}