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)14char * strerror ( int errno ) { 15 } copy_from_user(void * dest,userptr_t src,off_t src_off,size_t len)16void copy_from_user ( void *dest, userptr_t src, off_t src_off, size_t len ) { 17 } mktime(struct tm * tm)18time_t mktime ( struct tm *tm ) { 19 } getchar(void)20int getchar ( void ) { 21 } 22