11#if HAL_USE_ADC || defined(__DOXYGEN__)
31 static_assert(EFI_ADC_NONE == ADC_CHANNEL_NONE);
108 return EFI_ADC_ERROR;
124 return (hwChannel - EFI_ADC_0);
131 return (EFI_ADC_0 + hwIndex);
147#define BOOTLOADER_LOCATION 0x1C00001CUL
149 typedef void (*bootloader_start_t)(
void * arg);
151 bootloader_start_t bootloaderStart = (bootloader_start_t)(**(uint32_t **)BOOTLOADER_LOCATION);
153 bootloaderStart(NULL);
ioportid_t getHwPort(const char *msg, brain_pin_e brainPin)
ioportmask_t getHwPin(const char *msg, brain_pin_e brainPin)
void firmwareError(ObdCode code, const char *fmt,...)
GPIO_TypeDef * ioportid_t
Port Identifier.
brain_pin_e getAdcChannelBrainPin(const char *msg, adc_channel_e hwChannel)
int getAdcInternalChannel(ADC_TypeDef *adc, adc_channel_e hwChannel)
int getAdcChannelPin(adc_channel_e hwChannel)
int getRemainingStack(thread_t *otp)
bool adcIsMuxedInput(adc_channel_e hwChannel)
void jump_to_bootloader()
adc_channel_e getHwChannelForAdcInput(ADC_TypeDef *adc, size_t hwIndex)
adc_channel_e getAdcChannel(brain_pin_e pin)
adc_channel_e adcMuxedGetParent(adc_channel_e hwChannel)
ioportid_t getAdcChannelPort(const char *msg, adc_channel_e hwChannel)
@ CUSTOM_ERR_ADC_UNKNOWN_CHANNEL