1 /* SPDX-License-Identifier: BSD-3-Clause 2 * Copyright(c) 2010-2014 Intel Corporation 3 */ 4 5 #include "oob_monitor.h" 6 7 void branch_monitor_exit(void) 8 { 9 } 10 11 __attribute__((unused)) static float 12 apply_policy(__attribute__((unused)) int core) 13 { 14 return 0.0; 15 } 16 17 int 18 add_core_to_monitor(__attribute__((unused)) int core) 19 { 20 return 0; 21 } 22 23 int 24 remove_core_from_monitor(__attribute__((unused)) int core) 25 { 26 return 0; 27 } 28 29 int 30 branch_monitor_init(void) 31 { 32 return 0; 33 } 34 35 void 36 run_branch_monitor(void) 37 { 38 } 39