31 extern int printf(
const char *msg, ...);
38 extern uint64_t isr_time;
void clock_gettime(uint32_t a1, void *a2)
STM32 chip-specific definitions.
Analog-to-Digital Conversion (ADC) header.
void hal_delay_microseconds(uint16_t t)
void hal_isr_time(uint32_t t)
Miscellaneous utility macros and procedures.
int printf(const char *msg,...)
Board-specific pin information.
void hal_delay(uint16_t t)
void revo_call_handler(Handler h, uint32_t arg)
void hal_yield(uint16_t ttw)