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_POSIX_ARCH_INLINES_H
       8             : #define ZEPHYR_INCLUDE_ARCH_POSIX_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_POSIX_ARCH_INLINES_H */