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 typedef unsigned short wchar_t;
11 typedef void mbstate_t;
12 struct digest_algorithm;
13
14 /* Inhibit use of built-in models for functions where Coverity's
15 * assumptions about the modelled function are incorrect for iPXE.
16 */
strerror(int errno)17 char * strerror ( int errno ) {
18 }
copy_from_user(void * dest,userptr_t src,off_t src_off,size_t len)19 void copy_from_user ( void *dest, userptr_t src, off_t src_off, size_t len ) {
20 }
mktime(struct tm * tm)21 time_t mktime ( struct tm *tm ) {
22 }
getchar(void)23 int getchar ( void ) {
24 }
wcrtomb(char * buf,wchar_t wc,mbstate_t * ps)25 size_t wcrtomb ( char *buf, wchar_t wc, mbstate_t *ps ) {
26 }
hmac_init(struct digest_algorithm * digest,void * digest_ctx,void * key,size_t * key_len)27 void hmac_init ( struct digest_algorithm *digest, void *digest_ctx,
28 void *key, size_t *key_len ) {
29 }
30