Searched refs:alarm_pool_core_num (Results 1 – 4 of 4) sorted by relevance
190 if (get_core_num() != alarm_pool_core_num(alarm_pool_get_default())) { in stdio_usb_init()251 if (get_core_num() != alarm_pool_core_num(alarm_pool_get_default())) { in stdio_usb_deinit()
209 if (self->core.core_num != alarm_pool_core_num(self->alarm_pool)) { in async_context_threadsafe_background_init()216 assert(self->core.core_num == alarm_pool_core_num(self->alarm_pool)); in async_context_threadsafe_background_init()
469 uint alarm_pool_core_num(alarm_pool_t *pool);
380 uint alarm_pool_core_num(alarm_pool_t *pool) { in alarm_pool_core_num() function
