1 /*
2  * Copyright (c) 2023 Raspberry Pi (Trading) Ltd.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include "hardware/divider.h"
8 
9 #if PICO_EMULATE_DIVIDER
10 divmod_result_t hw_divider_results[NUM_CORES];
11 #endif