-
Philippe Gerum authored
Given that evl_sched_control() was hardly usable prior to the latest fixes to the scheduler control code in the core and no feedback ever happened about such issues, we may assume that such call has no user yet. Take this opportunity to fix a naming inconsistency in the API. Signed-off-by: Philippe Gerum <rpm@xenomai.org>
a3020894