Accessing mbed errors history

Hi,
how can I access the functions _mbed_get_error_hist_count()_ and _mbed_get_error_hist_info()_? I can't compile if I use it

This is the function I use to try to get the errors history:

`
void getErrorInfoFromHist() {
mbed_error_ctx hist_error_ctx;
int numEntriesInHist = mbed_get_error_hist_count();
for (int i = 0; i < numEntriesInHist; i++) {
mbed_get_error_hist_info(i, &hist_error_ctx);
printf(MBED_GET_ERROR_CODE(hist_error_ctx.error_status));
}
mbed_clear_all_errors();
}
`

But when I compile I get:

_undefined reference to mbed_get_error_hist_count
undefined reference to mbed_get_error_hist_info_

Thank you

Check how _mbed_get_error_hist_count(), _mbed_get_error_hist_info(), mbed_get_error_hist_count(), and mbed_get_error_hist_info() are declared and linked in ArduinoCore-mbed. Reproduce the undefined-reference build with getErrorInfoFromHist() and determine whether these error-history functions are available to this core and what documented usage is required.

Written by the indexing model from the issue text.