sched: remove unused core_ctl header file
core_ctl header file in kernel/sched isn't used, remove it.
Change-Id: I3ae600d38fbdc2ca733e54d28c9ff0191559da2c
Signed-off-by:
Satya Durga Srinivasu Prabhala <satyap@codeaurora.org>
Loading
Please register or sign in to comment