summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
8772085)
Found by Godmar with his process-linker-map.pl.
};
/* Two pools: one for kernel data, one for user pages. */
};
/* Two pools: one for kernel data, one for user pages. */
-struct pool kernel_pool, user_pool;
+static struct pool kernel_pool, user_pool;
/* Maximum number of pages to put in user pool. */
size_t user_page_limit = SIZE_MAX;
/* Maximum number of pages to put in user pool. */
size_t user_page_limit = SIZE_MAX;