pub const FVE_E_TPM_NO_VMK: i32 = 0x80310042; // -2_144_272_318i32