guest_stage
vcpu_idx, shared_data->guest_stage, shared_data->nr_iter);
enum guest_stage stage)
shared_data->guest_stage = stage;
switch (shared_data->guest_stage) {
enum guest_stage stage = shared_data->guest_stage;
int guest_stage;
shared_data->guest_stage = 0;
shared_data->guest_stage = 0;