1 /*
2  * Coverity modelling file
3  *
4  */
5 
6 typedef long off_t;
7 typedef void * userptr_t;
8 typedef long long time_t;
9 struct tm;
10 
11 /* Inhibit use of built-in models for functions where Coverity's
12  * assumptions about the modelled function are incorrect for iPXE.
13  */
strerror(int errno)14 char * strerror ( int errno ) {
15 }
copy_from_user(void * dest,userptr_t src,off_t src_off,size_t len)16 void copy_from_user ( void *dest, userptr_t src, off_t src_off, size_t len ) {
17 }
mktime(struct tm * tm)18 time_t mktime ( struct tm *tm ) {
19 }
getchar(void)20 int getchar ( void ) {
21 }
22