+ VC_SYSCALL(vc_set_sched(ctx, &vc_sched));
+
+ /* get current flag values */
+ VC_SYSCALL(vc_get_cflags(ctx, &vc_flags));
+
+ /* the only flag which ever changes is the SCHED_SHARE bit */
+ if ((vc_flags.flagword ^ cpu_sched_flags) & VC_VXF_SCHED_SHARE)
+ {
+ vc_flags.mask = VC_VXF_SCHED_SHARE;
+ vc_flags.flagword = cpu_sched_flags & VC_VXF_SCHED_FLAGS;
+ VC_SYSCALL(vc_set_cflags(ctx, &vc_flags));
+ }
+
+ return 0;