Constant KVM_ARM_VCPU_FINALIZE 

pub const KVM_ARM_VCPU_FINALIZE: u32 = 1074048706;