ra8_wdt_sup_tx_shim_internal.h

Go to the documentation of this file.

 
#pragma once
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <stdint.h>
 
#include "ra8_attributes.h"
 
/* Preserve ThreadX source spellings while keeping host-only implementations
 * honestly file-local under the repository's private naming contract.
 *
 * These ten names ARE the vendor API spelling; the supervisor source calls
 * them because the real tx_api.h defines them, so there is no alternative
 * name to rename them to. Same reasoning as the five type aliases below.  */
// NOLINTBEGIN(readability-identifier-naming) -- external ABI or interposition seam fixes these symbol spellings.
#define tx_mutex_create internal_tx_mutex_create
#define tx_mutex_get internal_tx_mutex_get
#define tx_mutex_put internal_tx_mutex_put
#define tx_mutex_delete internal_tx_mutex_delete
#define tx_thread_create internal_tx_thread_create
#define tx_thread_terminate internal_tx_thread_terminate
#define tx_thread_delete internal_tx_thread_delete
#define tx_thread_sleep internal_tx_thread_sleep
#define tx_time_get internal_tx_time_get
// NOLINTEND(readability-identifier-naming)
 
/* The five ThreadX type aliases (ULONG, UINT, CHAR, TX_MUTEX, TX_THREAD)
 * intentionally violate the project's lower_case typedef rule because
 * they MUST mirror the real ThreadX ``tx_api.h`` spelling: this header
 * stands in for the vendor header on the host build, and the supervisor
 * source uses the upper-case names the vendor API mandates. */

typedef unsigned long ULONG; /* NOLINT(readability-identifier-naming) -- ThreadX name. */

typedef unsigned int UINT; /* NOLINT(readability-identifier-naming) -- ThreadX name. */

typedef char CHAR; /* NOLINT(readability-identifier-naming) -- ThreadX name. */

#define TX_SUCCESS (0U)
#define TX_NO_INHERIT (0U)
#define TX_WAIT_FOREVER (0xFFFFFFFFUL)
#define TX_AUTO_START (1U)
#define TX_NO_TIME_SLICE (0U)

typedef enum : uint32_t {
  k_ra8_wdt_sup_tx_shim_mutex_canary = 0xA5A5A5A5U, 
  k_ra8_wdt_sup_tx_shim_thread_canary =
    0x5A5A5A5AU, 
} ra8_wdt_sup_tx_shim_canary_t;

typedef struct {
  uint32_t magic; 
} TX_MUTEX;       /* NOLINT(readability-identifier-naming) -- ThreadX name. */

typedef struct {
  uint32_t magic; 
} TX_THREAD;      /* NOLINT(readability-identifier-naming) -- ThreadX name. */
 
/* NOLINTBEGIN(readability-non-const-parameter) -- ThreadX pins CHAR* name non-const. */
RA8_INTERNAL static inline UINT internal_tx_mutex_create(TX_MUTEX* m, CHAR* name, UINT inherit)
{
  (void)name;
  (void)inherit;
  if (m != ((void*)0)) {
    m->magic = (uint32_t)k_ra8_wdt_sup_tx_shim_mutex_canary;
  }
  return TX_SUCCESS;
}
/* NOLINTEND(readability-non-const-parameter) */

RA8_INTERNAL static inline UINT internal_tx_mutex_get(TX_MUTEX* m, ULONG wait)
{
  (void)m;
  (void)wait;
  return TX_SUCCESS;
}

RA8_INTERNAL static inline UINT internal_tx_mutex_put(TX_MUTEX* m)
{
  (void)m;
  return TX_SUCCESS;
}

RA8_INTERNAL static inline UINT internal_tx_mutex_delete(TX_MUTEX* m)
{
  (void)m;
  return TX_SUCCESS;
}
 
/* NOLINTBEGIN(readability-non-const-parameter) -- ThreadX pins CHAR* name non-const. */
RA8_INTERNAL static inline UINT internal_tx_thread_create(TX_THREAD* t,
                                                          CHAR*      name,
                                                          void (*entry)(ULONG),
                                                          ULONG arg,
                                                          void* stack,
                                                          ULONG stack_size,
                                                          UINT  prio,
                                                          UINT  preempt_thresh,
                                                          UINT  slice,
                                                          UINT  autostart)
{
  (void)name;
  (void)entry;
  (void)arg;
  (void)stack;
  (void)stack_size;
  (void)prio;
  (void)preempt_thresh;
  (void)slice;
  (void)autostart;
  if (t != ((void*)0)) {
    t->magic = (uint32_t)k_ra8_wdt_sup_tx_shim_thread_canary;
  }
  return TX_SUCCESS;
}
/* NOLINTEND(readability-non-const-parameter) */

RA8_INTERNAL static inline UINT internal_tx_thread_terminate(TX_THREAD* t)
{
  (void)t;
  return TX_SUCCESS;
}

RA8_INTERNAL static inline UINT internal_tx_thread_delete(TX_THREAD* t)
{
  (void)t;
  return TX_SUCCESS;
}

RA8_INTERNAL static inline UINT internal_tx_thread_sleep(ULONG ticks)
{
  (void)ticks;
  return TX_SUCCESS;
}

RA8_INTERNAL static inline ULONG internal_tx_time_get(void)
{
  return 0UL;
}
 
#ifdef __cplusplus
}
#endif