xen/sched: rt: Fix typo in a comment
authorJulien Grall <julien@xen.org>
Fri, 10 Jan 2020 11:28:07 +0000 (11:28 +0000)
committerJulien Grall <julien@xen.org>
Sat, 11 Jan 2020 12:48:41 +0000 (12:48 +0000)
commit8842d01b300919e20bca2e1138c458a8483600f8
tree0569d1d6db54aeb8cda0cfe0218465b8fc4218d4
parentba322a175059a712802401e8337c6c7952b265d1
xen/sched: rt: Fix typo in a comment

Signed-off-by: Julien Grall <julien@xen.org>
Reviewed-by: Meng Xu <mengxu@cis.upenn.edu>
xen/common/sched_rt.c