1 files changed, 29 insertions, 0 deletions
diff --git a/src/VBox/Devices/PC/ipxe/contrib/coverity/model.c b/src/VBox/Devices/PC/ipxe/contrib/coverity/model.c
new file mode 100644
index 00000000..43bac58d
--- /dev/null
+++ b/src/VBox/Devices/PC/ipxe/contrib/coverity/model.c
@@ -0,0 +1,29 @@
+/*
+ * 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 ) {
+}