Broadcast button presses to CAN

Core/Inc/vehicle.h

@@ -5,6 +5,8 @@
 #include "stw_defines.h"
 #include "tx_port.h"
 
+#include "stm32h7xx_hal.h"
+
 #ifdef __cplusplus
 extern "C" {
 #endif
@@ -108,6 +110,7 @@ void vehicle_thread_entry(ULONG hfdcan_addr);
 void vehicle_select_mission(Mission mission);
 
 void vehicle_broadcast_param(ParamType param, int32_t value);
+void vehicle_broadcast_buttons(GPIO_PinState *button_states);
 
 #ifdef __cplusplus
 }