26 #include <CrFwCmpData.h> 27 #include <FwSmConfig.h> 34 uint32_t DownTransferLptBufferId;
59 inPckt = cmpSpecificData->
pckt;
63 LptBufferId = Tid % LPT_N_BUF;
66 DownTransferLptBufferId = LptBufferId;
72 if (sm_state == CrPsLpt_INACTIVE)
Type for the Framework Component Data (FCD).
void CrPsLptStartDownCmdStartAction(FwSmDesc_t smDesc)
Start action of TC(13,129) LptStartDownCmd.
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
#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 CrPsLptStartDownCmdProgressAction(FwSmDesc_t smDesc)
Progress action of TC(13,129) LptStartDownCmd.
Create one instance of the CrPsLpt state machine.
CrPsTid_t Tid
CrPsLptUpCmdStart function definitions.
Implementation of TC(13,129) LptStartDownCmd.
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.
void CrPsLptStartDownCmdTerminationAction(FwSmDesc_t smDesc)
Termination action of TC(13,129) LptStartDownCmd.
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
Type for the data describing an InCommand.
static CrPsTid_t getLptStartDownCmdTid(void *p)
Get "Tid" from "LptStartDownCmd" packet.