60 __sread(void *cookie, void *buf, size_t n)  in __sread()  argument
62 	FILE *fp = cookie;  in __sread()
65 	_DIAGASSERT(cookie != NULL);  in __sread()
66 	_DIAGASSERT(cookie == fp->_cookie);  in __sread()
80 __swrite(void *cookie, const void *buf, size_t n)  in __swrite()  argument
82 	FILE *fp = cookie;  in __swrite()
84 	_DIAGASSERT(cookie != NULL);  in __swrite()
85 	_DIAGASSERT(cookie == fp->_cookie);  in __swrite()
100 __sseek(void *cookie, off_t offset, int whence)  in __sseek()  argument
102 	FILE *fp = cookie;  in __sseek()
105 	_DIAGASSERT(cookie != NULL);  in __sseek()
106 	_DIAGASSERT(cookie == fp->_cookie);  in __sseek()
119 __sclose(void *cookie)  in __sclose()  argument
121 	FILE *fp = cookie;  in __sclose()
123 	_DIAGASSERT(cookie != NULL);  in __sclose()
124 	_DIAGASSERT(cookie == fp->_cookie);  in __sclose()