Line data    Source code

       1            0 : /*
       2              :  * Copyright (c) 2022 Intel Corporation
       3              :  *
       4              :  * SPDX-License-Identifier: Apache-2.0
       5              :  */
       6              : 
       7              : #ifndef ZEPHYR_INCLUDE_ARCH_MIPS_ARCH_INLINES_H
       8              : #define ZEPHYR_INCLUDE_ARCH_MIPS_ARCH_INLINES_H
       9              : 
      10              : #include <zephyr/kernel_structs.h>
      11              : 
      12            0 : static ALWAYS_INLINE unsigned int arch_num_cpus(void)
      13              : {
      14              :         return CONFIG_MP_MAX_NUM_CPUS;
      15              : }
      16              : 
      17              : #endif /* ZEPHYR_INCLUDE_ARCH_MIPS_ARCH_INLINES_H */