/***************************************************************************
 * Copyright (C) 2026 Eclipse ThreadX contributors
 *
 * This program and the accompanying materials are made available under the
 * terms of the MIT License which is available at
 * https://opensource.org/licenses/MIT.
 *
 * AI Disclosure: This file was largely AI-generated by Codex (GPT-5).
 * The AI-generated portions may be considered public domain (CC0-1.0)
 * and not subject to the project's licence. The human contributor has
 * reviewed and verified that the code is correct.
 *
 * SPDX-License-Identifier: MIT and CC0-1.0
 **************************************************************************/

#ifndef TX_API_H
#define TX_API_H

#define TX_THREAD_SMP_MAX_CORES             4U
#define TX_SUCCESS                          0U
#define TX_NOT_DONE                         20U
#define TX_NULL                             ((void *) 0)
#define TX_SMP_CORE_ID                      0U

typedef unsigned int                        UINT;
typedef unsigned long                       ULONG;
typedef void                                VOID;

typedef struct TX_THREAD_STRUCT
{
    unsigned long long                      tx_thread_execution_time_total;
    unsigned long                           tx_thread_execution_time_last_start;
    struct TX_THREAD_STRUCT                 *tx_thread_created_next;
} TX_THREAD;

#define TX_INTERRUPT_SAVE_AREA
#define TX_DISABLE
#define TX_RESTORE

#endif