diff options
| author | Maria Matejka <mq@ucw.cz> | 2022-09-21 11:49:35 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2022-09-21 11:49:35 +0200 |
| commit | 896dbbfe4a6fec663b1fa3bb3c529b7c4fb2f625 (patch) | |
| tree | 3833ea0056efdf80fc67ae44de6242c10c68473b /lib/resource.h | |
| parent | 6768e0cf9e4b7befbc29f2d40a6b15e1198908f5 (diff) | |
Local page allocation
Diffstat (limited to 'lib/resource.h')
| -rw-r--r-- | lib/resource.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/resource.h b/lib/resource.h index 56a746bb..5d9e2165 100644 --- a/lib/resource.h +++ b/lib/resource.h @@ -123,8 +123,10 @@ void buffer_realloc(void **buf, unsigned *size, unsigned need, unsigned item_siz #define PAGE_HEAD(x) ((void *) (((uintptr_t) (x)) & ~(page_size-1))) extern long page_size; extern _Atomic int pages_kept; +extern _Atomic int pages_kept_locally; void *alloc_page(void); void free_page(void *); +void flush_local_pages(void); void resource_sys_init(void); |