current_credit 525 drivers/xen/balloon.c credit = current_credit(); current_credit 658 drivers/xen/balloon.c if (current_credit())