/*
- * Copyright (c) 2010 Nicira Networks.
+ * Copyright (c) 2010, 2011 Nicira Networks.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
/* Implementation details. */
void dpif_dummy_register(void);
void netdev_dummy_register(void);
+void timeval_dummy_register(void);
#endif /* dummy.h */