]> xenbits.xensource.com Git - people/pauldu/mini-os.git/commit
projects / people / pauldu / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 113e43d) | patch
mini-os: remove unused functions from sched.c
authorJuergen Gross <jgross@suse.com>
Mon, 29 Aug 2016 06:17:22 +0000 (08:17 +0200)
committerWei Liu <wei.liu2@citrix.com>
Mon, 29 Aug 2016 10:12:04 +0000 (11:12 +0100)
commit864c2eb6d25a941b26ba3b8e2d5a4a64caa8ed0f
tree2e194665bbb8ee470d2f355a16ac2c314c8cceeatree
parent113e43d972f6c48e62561ddb0019facefa9a0859commit | diff
mini-os: remove unused functions from sched.c

sched.c contains some functions nobody is using. Remove them.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
sched.c diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.