VCPU_PKVM_FINALIZED
vcpu_set_flag(vcpu, VCPU_PKVM_FINALIZED);
if (!vcpu_get_flag(vcpu, VCPU_PKVM_FINALIZED))