Branch data     Line data    Source code

       1                 :            : /* SPDX-License-Identifier: GPL-2.0 */
       2                 :            : #ifndef _LINUX_SCHED_SMT_H
       3                 :            : #define _LINUX_SCHED_SMT_H
       4                 :            : 
       5                 :            : #include <linux/static_key.h>
       6                 :            : 
       7                 :            : #ifdef CONFIG_SCHED_SMT
       8                 :            : extern struct static_key_false sched_smt_present;
       9                 :            : 
      10                 :          0 : static __always_inline bool sched_smt_active(void)
      11                 :            : {
      12   [ #  #  #  #  :          0 :         return static_branch_likely(&sched_smt_present);
          #  #  #  #  #  
          #  #  #  #  #  
          #  #  #  #  #  
          #  #  #  #  #  
          #  #  #  #  #  
                #  #  # ]
      13                 :            : }
      14                 :            : #else
      15                 :            : static inline bool sched_smt_active(void) { return false; }
      16                 :            : #endif
      17                 :            : 
      18                 :            : void arch_smt_update(void);
      19                 :            : 
      20                 :            : #endif