X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdummy.h;h=220417078c7f47ac2260b0b6e9b01d6a0cbb735a;hb=aabf5352bbf7e6fdc3d8da9f7f0b2e268da6ea68;hp=fe1508707fd6add6b9ef2703b80bb0c178a481bd;hpb=614c4892032f424efa5f0ec404b2d499acad254d;p=openvswitch

diff --git a/lib/dummy.h b/lib/dummy.h
index fe150870..22041707 100644
--- a/lib/dummy.h
+++ b/lib/dummy.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2010 Nicira Networks.
+ * Copyright (c) 2010, 2011, 2012 Nicira, Inc.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -17,11 +17,14 @@
 #ifndef DUMMY_H
 #define DUMMY_H 1
 
+#include <stdbool.h>
+
 /* For client programs to call directly to enable dummy support. */
-void dummy_enable(void);
+void dummy_enable(bool override);
 
 /* Implementation details. */
-void dpif_dummy_register(void);
-void netdev_dummy_register(void);
+void dpif_dummy_register(bool override);
+void netdev_dummy_register(bool override);
+void timeval_dummy_register(void);
 
 #endif /* dummy.h */