mirror of
https://github.com/xcat2/xNBA.git
synced 2024-11-22 09:31:51 +00:00
30 lines
679 B
C
30 lines
679 B
C
|
/*
|
||
|
|
* Coverity modelling file
|
||
|
|
*
|
||
|
|
*/
|
||
|
|
|
||
|
|
typedef long off_t;
|
||
|
|
typedef void * userptr_t;
|
||
|
|
typedef long long time_t;
|
||
|
|
struct tm;
|
||
|
|
typedef unsigned short wchar_t;
|
||
|
|
typedef void mbstate_t;
|
||
|
|
struct digest_algorithm;
|
||
|
|
|
||
|
|
/* Inhibit use of built-in models for functions where Coverity's
|
||
|
|
* assumptions about the modelled function are incorrect for iPXE.
|
||
|
|
*/
|
||
|
|
char * strerror ( int errno ) {
|
||
|
|
}
|
||
|
|
void copy_from_user ( void *dest, userptr_t src, off_t src_off, size_t len ) {
|
||
|
|
}
|
||
|
|
time_t mktime ( struct tm *tm ) {
|
||
|
|
}
|
||
|
|
int getchar ( void ) {
|
||
|
|
}
|
||
|
|
size_t wcrtomb ( char *buf, wchar_t wc, mbstate_t *ps ) {
|
||
|
|
}
|
||
|
|
void hmac_init ( struct digest_algorithm *digest, void *digest_ctx,
|
||
|
|
void *key, size_t *key_len ) {
|
||
|
|
}
|