pub const TPM_E_PPI_NOT_SUPPORTED: i32 = 0x80290303; // -2_144_795_901i32