#ifndef TM_LFR_TC_EXE_H_INCLUDED
#define TM_LFR_TC_EXE_H_INCLUDED

#include <rtems.h>
#include <stdio.h>

#include "fsw_params.h"
#include "fsw_spacewire.h"

extern time_management_regs_t *time_management_regs;
extern Packet_TM_LFR_HK_t housekeeping_packet;
extern unsigned short sequenceCounters_TC_EXE[];

int send_tm_lfr_tc_exe_success(ccsdsTelecommandPacket_t *TC, rtems_id queue_id);
int send_tm_lfr_tc_exe_inconsistent(ccsdsTelecommandPacket_t *TC, rtems_id queue_id,
                                    unsigned char byte_position, unsigned char rcv_value);
int send_tm_lfr_tc_exe_not_executable(ccsdsTelecommandPacket_t *TC, rtems_id queue_id);
int send_tm_lfr_tc_exe_not_implemented(ccsdsTelecommandPacket_t *TC, rtems_id queue_id);
int send_tm_lfr_tc_exe_error(ccsdsTelecommandPacket_t *TC, rtems_id queue_id);
int send_tm_lfr_tc_exe_corrupted(ccsdsTelecommandPacket_t *TC, rtems_id queue_id,
                                 unsigned char *computed_CRC, unsigned char *currentTC_LEN_RCV);

void increment_seq_counter_destination_id( unsigned char *packet_sequence_control, unsigned char destination_id );

#endif // TM_LFR_TC_EXE_H_INCLUDED