[efi] Add debug wrappers for all boot services functions of interest
[ipxe.git] / contrib / coverity / model.c
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 */
17 char * strerror ( int errno ) {
18 }
19 void copy_from_user ( void *dest, userptr_t src, off_t src_off, size_t len ) {
20 }
21 time_t mktime ( struct tm *tm ) {
22 }
23 int getchar ( void ) {
24 }
25 size_t wcrtomb ( char *buf, wchar_t wc, mbstate_t *ps ) {
26 }
27 void hmac_init ( struct digest_algorithm *digest, void *digest_ctx,
28 void *key, size_t *key_len ) {
29 }