xenmem_get_currentreservation
static size_t xenmem_get_currentreservation(void);
currentpages = xenmem_get_currentreservation();
current = xenmem_get_currentreservation();
current = xenmem_get_currentreservation();
xenmem_get_currentreservation(), new_target);
node_val = BALLOON_PAGES_TO_KB(xenmem_get_currentreservation());