pub const KVM_ARM_VCPU_FINALIZE: u32 = 1074048706;