]> xenbits.xensource.com Git - people/pauldu/mini-os.git/commit
projects / people / pauldu / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4b757f) | patch
mini-os: add nr_free_pages counter
authorJuergen Gross <jgross@suse.com>
Tue, 12 Jul 2016 11:43:55 +0000 (13:43 +0200)
committerJuergen Gross <jgross@suse.com>
Thu, 11 Aug 2016 11:03:50 +0000 (13:03 +0200)
commitbec5839b19f51485c4a92c9321e7986ed97b9065
tree073591980ff2f1acf087bab0b35e32b4e1dc083etree
parentf4b757f423d3d6439af9f21ecd4fc867e5eeef8bcommit | diff
mini-os: add nr_free_pages counter

Add a variable holding the number of available memory pages. This will
aid auto-ballooning later.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
include/mm.h diff | blob | blame | history
mm.c diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.