// SPDX-License-Identifier: BSD-3-Clause // // Copyright(c) 2019 Intel Corporation. All rights reserved. // // Author: Bartosz Kokoszko /* Generic scheduler */ #include #include #include #include #include #include static struct schedulers *_schedulers[CONFIG_CORE_COUNT]; /** * Retrieves registered schedulers. * @return List of registered schedulers. */ struct schedulers **arch_schedulers_get(void) { return _schedulers + cpu_get_id(); }