refactor sched_policy.c for k-hypervisor coding style