26 #include <CrFwCmpData.h> 27 #include <FwSmConfig.h> 57 inPckt = cmpSpecificData->
pckt;
61 LptBufferId = Tid % LPT_N_BUF;
Type for the Framework Component Data (FCD).
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
Implementation of TC(13,130) LptAbortDownCmd.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
Header file to define all user-configurable constants and types for the IASW Application.
CrFwPckt_t pckt
Packet holding the InCommand.
Interface through which applications can initialize and execute framework PUS extension components...
void CrPsLptAbortDownCmdTerminationAction(FwSmDesc_t smDesc)
Termination action of TC(13,130) LptAbortDownCmd.
Create one instance of the CrPsLpt state machine.
CrPsTid_t Tid
CrPsLptUpCmdStart function definitions.
void CrPsLptAbortDownCmdStartAction(FwSmDesc_t smDesc)
Start action of TC(13,130) LptAbortDownCmd.
void * cmpSpecificData
Derived data which are specific to each type of framework component.
Interface for accessing fields in packets of service "ServLPT".
FwSmDesc_t getSmDescLpt()
Getter for Lpt state machine descriptor.
#define CrPsLpt_DOWN_TRANSFER
Make sure to include this header file only once.
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
Type for the data describing an InCommand.
void CrPsLptAbortDownCmdProgressAction(FwSmDesc_t smDesc)
Progress action of TC(13,130) LptAbortDownCmd.
static CrPsTid_t getLptStartDownCmdTid(void *p)
Get "Tid" from "LptStartDownCmd" packet.