BP_DONE
} balloon_state = BP_DONE;
if (balloon_state == BP_DONE) {
return BP_DONE;
enum bp_state state = BP_DONE;
if (balloon_state == BP_DONE)
case BP_DONE:
if (balloon_state == BP_DONE && n_pages != -credit &&
if (st != BP_DONE)