diff options
| author | Maria Matejka <mq@ucw.cz> | 2021-11-24 17:30:13 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@jmq.cz> | 2021-11-24 19:42:52 +0000 |
| commit | 644e9ca94e2d10ba0c2de45f94523da2414328e3 (patch) | |
| tree | 51dfbcb9a41b7ea06970b65264f5934960c2e09f /lib/resource.h | |
| parent | 9f24fef5e91fb4df301242ede91ee7ac1b46b8a8 (diff) | |
Directly mapped pages are kept for future use if temporarily not needed
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 e65455c8..76e3745f 100644 --- a/lib/resource.h +++ b/lib/resource.h @@ -98,6 +98,7 @@ void buffer_realloc(void **buf, unsigned *size, unsigned need, unsigned item_siz u64 get_page_size(void); void *alloc_page(void); void free_page(void *); +extern uint pages_kept; #ifdef HAVE_LIBDMALLOC /* |