Skip to content
Snippets Groups Projects
Commit 057361f1 authored by Daniela Genius's avatar Daniela Genius
Browse files

nettoyage

parent 2457bec6
No related branches found
No related tags found
1 merge request!72Syscams
Showing
with 0 additions and 1849 deletions
%set OUTPUT_NAME avatar
# New source code module to be compiled
%append MODULES $(OUTPUT_NAME):$(CONFIGPATH)
# Application license
CONFIG_LICENSE_APP_LGPL
# Libs
CONFIG_PTHREAD
CONFIG_PTHREAD_MAIN
CONFIG_PTHREAD_TIME
CONFIG_PTHREAD_ATTRIBUTES
CONFIG_PTHREAD_STACK_SIZE 32768
CONFIG_LIBC_STREAM_STD
CONFIG_LIBAVATAR
CONFIG_HEXO_INTTYPES_DEPRECATED undefined
CONFIG_LIBM
CONFIG_LIBC_STREAM
CONFIG_VFS
CONFIG_MWMR
CONFIG_MWMR_SOCLIB
CONFIG_MUTEK_SCHEDULER_STATIC
%include $(SRC_DIR)/examples/common/build_options.conf
%include $(SRC_DIR)/examples/common/platforms.conf
# inter-processor interrupts
CONFIG_HEXO_IPI
CONFIG_ARCH_SMP
CONFIG_CPU_MAXCOUNT 2
This diff is collapsed.
#include "Application.h"
// Header code defined in the model
// End of header code defined in the model
static uint32_t _open;
static uint32_t _sendTCP;
static uint32_t _close;
static uint32_t _abort;
static uint32_t _startApplication;
static uint32_t _receiveTCP;
#define STATE__START__STATE 0
#define STATE__ReadingPackets 1
#define STATE__ClosingOrAborting 2
#define STATE__STOP__STATE 3
void *mainFunc__Application(struct mwmr_s *channels_Application[]){
struct mwmr_s *TCPIP_receiveTCP__Application_receiveTCP= channels_Application[0];
struct mwmr_s *SmartCardController_start_Application__Application_startApplication= channels_Application[1];
struct mwmr_s *Application_abort__TCPIP_abort= channels_Application[2];
struct mwmr_s *Application_close__TCPIP_close= channels_Application[3];
struct mwmr_s *Application_sendTCP__TCPIP_send_TCP= channels_Application[4];
struct mwmr_s *Application_open__TCPIP_open= channels_Application[5];
int val = 7;
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[1];
__attribute__((unused)) request __req1;
__attribute__((unused))int *__params1[1];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "Application";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
debug2Msg(__myname, "-> (=====) test SmartCardController_start_Application__Application_startApplication");
makeNewRequest(&__req0, 505, RECEIVE_SYNC_REQUEST, 0, 0, 0, 0, __params0);
__req0.syncChannel = &__SmartCardController_start_Application__Application_startApplication;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
debug2Msg(__myname, "-> (=====) test Application_open__TCPIP_open");
makeNewRequest(&__req0, 509, SEND_SYNC_REQUEST, 0, 0, 0, 0, __params0);
__req0.syncChannel = &__Application_open__TCPIP_open;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
__params0[0] = &val;
debug2Msg(__myname, "-> (=====) test Application_sendTCP__TCPIP_send_TCP");
makeNewRequest(&__req0, 508, SEND_SYNC_REQUEST, 0, 0, 0, 1, __params0);
__req0.syncChannel = &__Application_sendTCP__TCPIP_send_TCP;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
waitFor((5)*1000, (5)*1000);
debug2Msg(__myname, "-> (=====) Entering state + ClosingOrAborting");
__currentState = STATE__ClosingOrAborting;
break;
case STATE__ReadingPackets:
__params0[0] = &val;
makeNewRequest(&__req0, 502, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 1, __params0);
__req0.asyncChannel = &__TCPIP_receiveTCP__Application_receiveTCP;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
debug2Msg(__myname, "-> (=====) Entering state + ReadingPackets");
__currentState = STATE__ReadingPackets;
break;
case STATE__ClosingOrAborting:
debug2Msg(__myname, "-> (=====) test Application_close__TCPIP_close");
makeNewRequest(&__req0, 507, SEND_SYNC_REQUEST, 0, 0, 0, 0, __params0);
__req0.syncChannel = &__Application_close__TCPIP_close;
addRequestToList(&__list, &__req0);
debug2Msg(__myname, "-> (=====) test Application_abort__TCPIP_abort");
makeNewRequest(&__req1, 506, SEND_SYNC_REQUEST, 0, 0, 0, 0, __params1);
__req1.syncChannel = &__Application_abort__TCPIP_abort;
addRequestToList(&__list, &__req1);
if (nbOfRequests(&__list) == 0) {
debug2Msg(__myname, "No possible request");
__currentState = STATE__STOP__STATE;
break;
}
__returnRequest = executeListOfRequests(&__list);
clearListOfRequests(&__list);
if (__returnRequest == &__req0) {
debug2Msg(__myname, "-> (=====) Entering state + ReadingPackets");
__currentState = STATE__ReadingPackets;
}
else if (__returnRequest == &__req1) {
debug2Msg(__myname, "-> (=====) Entering state + ReadingPackets");
__currentState = STATE__ReadingPackets;
}
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
#ifndef Application_H
#define Application_H
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include "request.h"
#include "syncchannel.h"
#include "request_manager.h"
#include "debug.h"
#include "defs.h"
#include "mytimelib.h"
#include "random.h"
#include "tracemanager.h"
#include "main.h"
#include "mwmr.h"
extern void *mainFunc__Application(struct mwmr_s *channels_Application[]);
#endif
#include "B.h"
// Header code defined in the model
// End of header code defined in the model
static uint32_t _sendReq;
#define STATE__START__STATE 0
#define STATE__STOP__STATE 1
void *mainFunc__B(struct mwmr_s *channels_B[]){
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[0];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "B";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
__currentState = STATE__STOP__STATE;
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
#ifndef B_H
#define B_H
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include "request.h"
#include "syncchannel.h"
#include "request_manager.h"
#include "debug.h"
#include "defs.h"
#include "mytimelib.h"
#include "random.h"
#include "tracemanager.h"
#include "main.h"
#include "mwmr.h"
extern void *mainFunc__B(struct mwmr_s *channels_B[]);
#endif
#include "B0.h"
// Header code defined in the model
// End of header code defined in the model
#define STATE__START__STATE 0
#define STATE__state0 1
#define STATE__state1 2
#define STATE__STOP__STATE 3
void *mainFunc__B0(struct mwmr_s *channels_B0[]){
struct mwmr_s *B_sendReq__B2_receiveReq= channels_B0[0];
int val0 = 0;
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[1];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "B0";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
debug2Msg(__myname, "-> (=====) Entering state + state0");
__currentState = STATE__state0;
break;
case STATE__state0:
__params0[0] = &val0;
makeNewRequest(&__req0, 310, SEND_SYNC_REQUEST, 0, 0, 0, 1, __params0);
__req0.syncChannel = &__B_sendReq__B2_receiveReq;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
debug2Msg(__myname, "-> (=====) Entering state + state1");
__currentState = STATE__state1;
break;
case STATE__state1:
debug2Msg(__myname, "-> (=====) Entering state + state0");
__currentState = STATE__state0;
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
#ifndef B0_H
#define B0_H
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include "request.h"
#include "syncchannel.h"
#include "request_manager.h"
#include "debug.h"
#include "defs.h"
#include "mytimelib.h"
#include "random.h"
#include "tracemanager.h"
#include "main.h"
#include "mwmr.h"
extern void *mainFunc__B0(struct mwmr_s *channels_B0[]);
#endif
#include "B1.h"
// Header code defined in the model
// End of header code defined in the model
#define STATE__START__STATE 0
#define STATE__state1 1
#define STATE__state0 2
#define STATE__STOP__STATE 3
void *mainFunc__B1(struct mwmr_s *channels_B1[]){
struct mwmr_s *B_sendReq__B2_receiveReq= channels_B1[0];
int val1 = 1;
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[1];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "B1";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
debug2Msg(__myname, "-> (=====) Entering state + state0");
__currentState = STATE__state0;
break;
case STATE__state1:
debug2Msg(__myname, "-> (=====) Entering state + state0");
__currentState = STATE__state0;
break;
case STATE__state0:
__params0[0] = &val1;
makeNewRequest(&__req0, 320, SEND_SYNC_REQUEST, 0, 0, 0, 1, __params0);
__req0.syncChannel = &__B_sendReq__B2_receiveReq;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
debug2Msg(__myname, "-> (=====) Entering state + state1");
__currentState = STATE__state1;
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
#ifndef B1_H
#define B1_H
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include "request.h"
#include "syncchannel.h"
#include "request_manager.h"
#include "debug.h"
#include "defs.h"
#include "mytimelib.h"
#include "random.h"
#include "tracemanager.h"
#include "main.h"
#include "mwmr.h"
extern void *mainFunc__B1(struct mwmr_s *channels_B1[]);
#endif
#include "B2.h"
// Header code defined in the model
// End of header code defined in the model
static uint32_t _receiveReq;
#define STATE__START__STATE 0
#define STATE__WaitingForReqs 1
#define STATE__STOP__STATE 2
void *mainFunc__B2(struct mwmr_s *channels_B2[]){
struct mwmr_s *B_sendReq__B2_receiveReq= channels_B2[0];
int val = 0;
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[1];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "B2";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
waitFor((10)*1000, (10)*1000);
debug2Msg(__myname, "-> (=====) Entering state + WaitingForReqs");
__currentState = STATE__WaitingForReqs;
break;
case STATE__WaitingForReqs:
__params0[0] = &val;
makeNewRequest(&__req0, 300, RECEIVE_SYNC_REQUEST, 0, 0, 0, 1, __params0);
__req0.syncChannel = &__B_sendReq__B2_receiveReq;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
debug2Msg(__myname, "-> (=====) Entering state + WaitingForReqs");
__currentState = STATE__WaitingForReqs;
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
#ifndef B2_H
#define B2_H
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include "request.h"
#include "syncchannel.h"
#include "request_manager.h"
#include "debug.h"
#include "defs.h"
#include "mytimelib.h"
#include "random.h"
#include "tracemanager.h"
#include "main.h"
#include "mwmr.h"
extern void *mainFunc__B2(struct mwmr_s *channels_B2[]);
#endif
#include "BCU.h"
// Header code defined in the model
// End of header code defined in the model
#define STATE__START__STATE 0
#define STATE__STOP__STATE 1
void *mainFunc__BCU(struct mwmr_s *channels_BCU[]){
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[0];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "BCU";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
traceStateEntering(__myname, "__StartState");
__currentState = STATE__STOP__STATE;
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
#ifndef BCU_H
#define BCU_H
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include "request.h"
#include "syncchannel.h"
#include "request_manager.h"
#include "debug.h"
#include "defs.h"
#include "mytimelib.h"
#include "random.h"
#include "tracemanager.h"
#include "main.h"
#include "mwmr.h"
extern void *mainFunc__BCU(struct mwmr_s *channels_BCU[]);
#endif
#include "Bell.h"
// Header code defined in the model
// End of header code defined in the model
static uint32_t _ring;
#define STATE__START__STATE 0
#define STATE__Active 1
#define STATE__STOP__STATE 2
void *mainFunc__Bell(struct mwmr_s *channels_Bell[]){
struct mwmr_s *Controller_ringBell__Bell_ring= channels_Bell[0];
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[0];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "Bell";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
debug2Msg(__myname, "-> (=====) Entering state + Active");
__currentState = STATE__Active;
break;
case STATE__Active:
debug2Msg(__myname, "-> (=====) test Controller_ringBell__Bell_ring");
makeNewRequest(&__req0, 133, RECEIVE_SYNC_REQUEST, 0, 0, 0, 0, __params0);
__req0.syncChannel = &__Controller_ringBell__Bell_ring;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
debug2Msg(__myname, "-> (=====) Entering state + Active");
__currentState = STATE__Active;
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
#ifndef Bell_H
#define Bell_H
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include "request.h"
#include "syncchannel.h"
#include "request_manager.h"
#include "debug.h"
#include "defs.h"
#include "mytimelib.h"
#include "random.h"
#include "tracemanager.h"
#include "main.h"
#include "mwmr.h"
extern void *mainFunc__Bell(struct mwmr_s *channels_Bell[]);
#endif
#include "Block0.h"
// Header code defined in the model
// End of header code defined in the model
static uint32_t _val;
#define STATE__START__STATE 0
#define STATE__state0 1
#define STATE__STOP__STATE 2
void *mainFunc__Block0(struct mwmr_s *channels_Block0[]){
struct mwmr_s *Block0_val__Block1_val= channels_Block0[0];
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[0];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "Block0";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
__currentState = STATE__state0;
break;
case STATE__state0:
debug2Msg(__myname, "-> (=====)before MakeNewRequest");
debugInt("channel address", &__req0);
makeNewRequest(&__req0, 18, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
debug2Msg(__myname, "-> (=====)after MakeNewRequest");
__req0.asyncChannel = &__Block0_val__Block1_val;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
__currentState = STATE__STOP__STATE;
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
#ifndef Block0_H
#define Block0_H
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include "request.h"
#include "syncchannel.h"
#include "request_manager.h"
#include "debug.h"
#include "defs.h"
#include "mytimelib.h"
#include "random.h"
#include "tracemanager.h"
#include "main.h"
#include "mwmr.h"
extern void *mainFunc__Block0(struct mwmr_s *channels_Block0[]);
#endif
#include "Block1.h"
// Header code defined in the model
// End of header code defined in the model
static uint32_t _val;
#define STATE__START__STATE 0
#define STATE__state0 1
#define STATE__STOP__STATE 2
void *mainFunc__Block1(struct mwmr_s *channels_Block1[]){
struct mwmr_s *Block0_val__Block1_val= channels_Block1[0];
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[0];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "Block1";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
__currentState = STATE__state0;
break;
case STATE__state0:
makeNewRequest(&__req0, 11, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
__req0.asyncChannel = &__Block0_val__Block1_val;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (=====)after executeOneRequest");
clearListOfRequests(&__list);
__currentState = STATE__STOP__STATE;
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
#include "Block1.h"
// Header code defined in the model
// End of header code defined in the model
static uint32_t _val;
static uint32_t _retour;
#define STATE__START__STATE 0
#define STATE__state0 1
#define STATE__STOP__STATE 2
void *mainFunc__Block1(struct mwmr_s *channels_Block1[]){
struct mwmr_s *Block0_retour__Block1_retour= channels_Block1[0];
struct mwmr_s *Block0_val__Block1_val= channels_Block1[1];
int __currentState = STATE__START__STATE;
__attribute__((unused)) request __req0;
__attribute__((unused))int *__params0[0];
__attribute__((unused))setOfRequests __list;
__attribute__((unused))pthread_cond_t __myCond;
__attribute__((unused))request *__returnRequest;
char * __myname = "Block1";
pthread_cond_init(&__myCond, NULL);
fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
//printf("my name = %s\n", __myname);
/* Main loop on states */
while(__currentState != STATE__STOP__STATE) {
switch(__currentState) {
case STATE__START__STATE:
debug2Msg(__myname, "-> (=====) Entering state + state0");
__currentState = STATE__state0;
break;
case STATE__state0:
debug2Msg(__myname, "-> (=====) test Block0_val__Block1_val");
makeNewRequest(&__req0, 14, RECEIVE_SYNC_REQUEST, 0, 0, 0, 0, __params0);
__req0.syncChannel = &__Block0_val__Block1_val;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (####)");
debugInt(__myname, &__returnRequest);
debug2Msg(__myname, "-> (####)");
debug2Msg(__myname, __returnRequest->syncChannel->inname);
debug2Msg(__myname, __returnRequest->syncChannel->outname);
debugInt(__myname, &__Block0_val__Block1_val);
debugInt(__myname, &(__Block0_val__Block1_val.mwmr_fifo));
debugInt(__myname, &(Block0_val__Block1_val));
clearListOfRequests(&__list);
debug2Msg(__myname, "-> (=====) test Block0_retour__Block1_retour");
makeNewRequest(&__req0, 13, SEND_SYNC_REQUEST, 0, 0, 0, 0, __params0);
__req0.syncChannel = &__Block0_retour__Block1_retour;
debug2Msg(__myname, "-> (=====)before executeOneRequest");
__returnRequest = executeOneRequest(&__list, &__req0);
debug2Msg(__myname, "-> (#####)after executeOneRequest");
debugInt(__myname, &__Block0_retour__Block1_retour);
debug2Msg(__myname, "-> (####)");
debugInt(__myname, &(__Block0_retour__Block1_retour.mwmr_fifo));
debug2Msg(__myname, "-> (####)");
debugInt(__myname, &(Block0_retour__Block1_retour));
clearListOfRequests(&__list);
debug2Msg(__myname, "-> (=====) Entering state + state0");
__currentState = STATE__state0;
break;
}
}
//printf("Exiting = %s\n", __myname);
return NULL;
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment