BALLOON_PAGES_TO_KB
BALLOON_PAGES_TO_KB(XEN_RESERVATION_MIN);
BALLOON_PAGES_TO_KB(currentpages));
BALLOON_PAGES_TO_KB(xenmem_get_maxreservation()));
target_max = BALLOON_PAGES_TO_KB(xenmem_get_maxreservation());
node_val = BALLOON_PAGES_TO_KB(xenmem_get_maxreservation());
node_val = BALLOON_PAGES_TO_KB(xenmem_get_currentreservation());
newval = BALLOON_PAGES_TO_KB(balloon_sc->balloon_target);
res_max = BALLOON_PAGES_TO_KB(xenmem_get_maxreservation());