1 /* SPDX-License-Identifier: BSD-3-Clause
2 * Copyright(c) 2010-2014 Intel Corporation
5 #include "oob_monitor.h"
7 void branch_monitor_exit(void)
11 __attribute__((unused)) static float
12 apply_policy(__attribute__((unused)) int core)
18 add_core_to_monitor(__attribute__((unused)) int core)
24 remove_core_from_monitor(__attribute__((unused)) int core)
30 branch_monitor_init(void)
36 run_branch_monitor(void)