pub const TEE_PROPSET_CURRENT_TA: TEE_PropSetHandle = _; // {0xffffffff as *mut tee_api_types::__TEE_PropSetHandle}