diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-05-31 13:41:56 +0200 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-05-31 13:41:56 +0200 |
| commit | 1da9e21fbe70f4cd1a8dbbf97c385d1d24d741f5 (patch) | |
| tree | ac750135a7a891b77c60203d191b45d1714bdf45 /libdde_linux26/contrib/mm | |
| parent | b5b8ef16ea0e7517169d521c297784d5678d7518 (diff) | |
include ddekit/timer.h in the Linux file.
Diffstat (limited to 'libdde_linux26/contrib/mm')
| -rw-r--r-- | libdde_linux26/contrib/mm/mempool.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libdde_linux26/contrib/mm/mempool.c b/libdde_linux26/contrib/mm/mempool.c index a46eb1b4..04fb8d25 100644 --- a/libdde_linux26/contrib/mm/mempool.c +++ b/libdde_linux26/contrib/mm/mempool.c @@ -15,6 +15,8 @@ #include <linux/blkdev.h> #include <linux/writeback.h> +#include <ddekit/timer.h> + static void add_element(mempool_t *pool, void *element) { BUG_ON(pool->curr_nr >= pool->min_nr); |