#define DEVICES_TIMER_H #include #include #include #include "stdio.h" #include #include #include #include #include /* ** */ extern void __seterrno(void); ssize_t read(int d, void *buf, size_t nbytes) { StdFileDes *sfd = _lx_fhfromfd(d); if (sfd) { long r; __chkabort(); if (sfd->lx_fx) return sfd->lx_fx->lx_read(sfd, buf, nbytes); if ((r = Read(sfd->lx_fh, buf, nbytes)) != EOF) return r; __seterrno(); } return EOF; }