#include "fifo_monitor.h"
#include <type_support.h>
#include "device_access.h"
#include <bits.h>
#include "gp_device.h"
#include "assert_support.h"
#ifndef __INLINE_FIFO_MONITOR__
#define STORAGE_CLASS_FIFO_MONITOR_DATA …
#else
#define STORAGE_CLASS_FIFO_MONITOR_DATA …
#endif
STORAGE_CLASS_FIFO_MONITOR_DATA unsigned int FIFO_SWITCH_ADDR[N_FIFO_SWITCH] = …;
#ifndef __INLINE_FIFO_MONITOR__
#include "fifo_monitor_private.h"
#endif
static inline bool fifo_monitor_status_valid(
const fifo_monitor_ID_t ID,
const unsigned int reg,
const unsigned int port_id);
static inline bool fifo_monitor_status_accept(
const fifo_monitor_ID_t ID,
const unsigned int reg,
const unsigned int port_id);
void fifo_channel_get_state(
const fifo_monitor_ID_t ID,
const fifo_channel_t channel_id,
fifo_channel_state_t *state)
{ … }
void fifo_switch_get_state(
const fifo_monitor_ID_t ID,
const fifo_switch_t switch_id,
fifo_switch_state_t *state)
{ … }
void fifo_monitor_get_state(
const fifo_monitor_ID_t ID,
fifo_monitor_state_t *state)
{ … }
static inline bool fifo_monitor_status_valid(
const fifo_monitor_ID_t ID,
const unsigned int reg,
const unsigned int port_id)
{ … }
static inline bool fifo_monitor_status_accept(
const fifo_monitor_ID_t ID,
const unsigned int reg,
const unsigned int port_id)
{ … }