#include #include void sonde_spg (void) { printf ("[%d] sonde\n", milliseconds_since_epoch()); fflush (stdout); } void lampe_spg (void) { printf ("[%d] lampe\n", milliseconds_since_epoch()); fflush (stdout); } void porte_spg (void) { printf ("[%d] porte\n", milliseconds_since_epoch()); fflush (stdout); } void thermostat_spg (void) { printf ("[%d] thermostat\n", milliseconds_since_epoch()); fflush (stdout); } void counter_write (int* value) { int v = *value; v++; *value = v; printf ("Value Write : %d\n", *value); } int current_value = 0; void alarme_spg (void) { printf ("[%d] alarme last read is %i\n", milliseconds_since_epoch(), current_value); fflush (stdout); } void counter_read (int* value) { printf ("Value: %d\n", *value); current_value=*value; }