set_or_clear_invalid_guest_state
set_or_clear_invalid_guest_state(vcpu, true);
set_or_clear_invalid_guest_state(vcpu, false);