pub const TPM_E_BAD_ATTRIBUTES: i32 = 0x80280042; // -2_144_862_142i32