You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

1234567891011121314151617181920212223242526272829
  1. /*
  2. * Coverity modelling file
  3. *
  4. */
  5. typedef long off_t;
  6. typedef void * userptr_t;
  7. typedef long long time_t;
  8. struct tm;
  9. typedef unsigned short wchar_t;
  10. typedef void mbstate_t;
  11. struct digest_algorithm;
  12. /* Inhibit use of built-in models for functions where Coverity's
  13. * assumptions about the modelled function are incorrect for iPXE.
  14. */
  15. char * strerror ( int errno ) {
  16. }
  17. void copy_from_user ( void *dest, userptr_t src, off_t src_off, size_t len ) {
  18. }
  19. time_t mktime ( struct tm *tm ) {
  20. }
  21. int getchar ( void ) {
  22. }
  23. size_t wcrtomb ( char *buf, wchar_t wc, mbstate_t *ps ) {
  24. }
  25. void hmac_init ( struct digest_algorithm *digest, void *digest_ctx,
  26. void *key, size_t *key_len ) {
  27. }