These 2 functions are implemented in mbed-drivers, and are generic for any us ticker. We might consider adding notes to the header file or move these declarations elsewhere
/** Get ticker's data
*
* @return The low power ticker data
*/
const ticker_data_t* get_us_ticker_data(void);
/** The wrapper for ticker_irq_handler, to pass us ticker's data
*
*/
void us_ticker_irq_handler(void);