/usr/include/diet/write12.h is in dietlibc-dev 0.33~cvs20120325-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 | #include <sys/cdefs.h>
#include <sys/types.h>
__BEGIN_DECLS
ssize_t __write1 ( const char* s ) __attribute__ (( __regparm__(1) ));
ssize_t __write2 ( const char* s ) __attribute__ (( __regparm__(1) ));
__END_DECLS
|