/* SPDX-License-Identifier: GPL-2.0 */ 
 | 
/* 
 | 
 * Symbols stubs needed for GKI compliance 
 | 
 */ 
 | 
  
 | 
#include "sched.h" 
 | 
  
 | 
int sched_isolate_cpu(int cpu) 
 | 
{ 
 | 
    return -EINVAL; 
 | 
} 
 | 
EXPORT_SYMBOL_GPL(sched_isolate_cpu); 
 | 
  
 | 
int sched_unisolate_cpu_unlocked(int cpu) 
 | 
{ 
 | 
    return -EINVAL; 
 | 
} 
 | 
EXPORT_SYMBOL_GPL(sched_unisolate_cpu_unlocked); 
 | 
  
 | 
int sched_unisolate_cpu(int cpu) 
 | 
{ 
 | 
    return -EINVAL; 
 | 
} 
 | 
EXPORT_SYMBOL_GPL(sched_unisolate_cpu); 
 | 
  
 | 
int set_task_boost(int boost, u64 period) 
 | 
{ 
 | 
    return -EINVAL; 
 | 
} 
 | 
EXPORT_SYMBOL_GPL(set_task_boost); 
 |