diff options
| author | Martin Mares <mj@ucw.cz> | 2004-05-31 18:47:19 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2004-05-31 18:47:19 +0000 |
| commit | 2cc37815ae1f194c5a0c51e5761377caea9cc164 (patch) | |
| tree | 9e623bfb0bf52219d1aac31b0fca08e4422efbef /lib/resource.h | |
| parent | 0077aab4f9041e4d05d2d6916edfb0e15738cb37 (diff) | |
Added rmove() (by Andreas, tweaked by me).
Diffstat (limited to 'lib/resource.h')
| -rw-r--r-- | lib/resource.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/resource.h b/lib/resource.h index ab530480..42ed26ed 100644 --- a/lib/resource.h +++ b/lib/resource.h @@ -37,6 +37,7 @@ pool *rp_new(pool *, char *); /* Create new pool */ void rfree(void *); /* Free single resource */ void rdump(void *); /* Dump to debug output */ void rlookup(unsigned long); /* Look up address (only for debugging) */ +void rmove(void *, pool *); /* Move to a different pool */ void *ralloc(pool *, struct resclass *); |