projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: faa2c90) | patch
xen: sched: refactor the ASSERTs around vcpu_deassing()
authorDario Faggioli <dfaggioli@suse.com>
Mon, 5 Aug 2019 10:50:57 +0000 (11:50 +0100)
committerGeorge Dunlap <george.dunlap@citrix.com>
Mon, 5 Aug 2019 10:50:57 +0000 (11:50 +0100)
commit8d54a6adf42a89350f746000f07ed3f4656ceed2
tree26b10428447fab6409aee65fe70fa16f9f9cce66tree | snapshot
parentfaa2c904fbc05cb740d6d9369cd6c32258736b0ecommit | diff
xen: sched: refactor the ASSERTs around vcpu_deassing()

It is all the time that we call vcpu_deassing() that the vcpu _must_ be
assigned to a pCPU, and hence that such pCPU can't be free.

Therefore, move the ASSERT-s which check for these properties in that
function, where they belong better.

Signed-off-by: Dario Faggioli <dfaggioli@suse.com>
Reviewed-by: George Dunlap <george.dunlap@citix.com>
Message-Id: <156412236781.2385.9110155201477198899.stgit@Palanthas>
xen/common/sched_null.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.