void send_data_to_autopilot_task(void) { if ( !SpiIsSelected() && spi_was_interrupted ) { spi_was_interrupted = FALSE; to_autopilot_from_last_radio(); spi_reset(); } }
void _Pragma("entrypoint") send_data_to_autopilot_task(void) { #ifndef WCET_ANALYSIS if ( !SpiIsSelected() && spi_was_interrupted ) { spi_was_interrupted = FALSE; to_autopilot_from_last_radio(); spi_reset(); } #endif }
void check_mega128_values_task(void) { if ( !SpiIsSelected() && spi_was_interrupted ) { if (mega128_receive_valid) { time_since_last_mega128 = 0; mega128_ok = TRUE; if (mode == MODE_AUTO) servo_set(from_mega128.channels); } } if (time_since_last_mega128 == STALLED_TIME) { mega128_ok = FALSE; } }
void _Pragma("entrypoint") check_mega128_values_task(void) { #ifndef WCET_ANALYSIS if ( !SpiIsSelected() && spi_was_interrupted ) { if (mega128_receive_valid) { time_since_last_mega128 = 0; mega128_ok = TRUE; if (mode == MODE_AUTO) servo_set(from_mega128.channels); } } if (time_since_last_mega128 == STALLED_TIME) { mega128_ok = FALSE; } #endif }