BALLOON_SHOW      145 drivers/xen/xen-balloon.c BALLOON_SHOW(current_kb, "%lu\n", PAGES2KB(balloon_stats.current_pages));
BALLOON_SHOW      146 drivers/xen/xen-balloon.c BALLOON_SHOW(low_kb, "%lu\n", PAGES2KB(balloon_stats.balloon_low));
BALLOON_SHOW      147 drivers/xen/xen-balloon.c BALLOON_SHOW(high_kb, "%lu\n", PAGES2KB(balloon_stats.balloon_high));