ia64/xen-unstable

view .bk-to-hg @ 8612:d783bdd14f2e

Remove the free_vcpu() interface I added in the preceding
changeset. It makes no sense, since an allocated VCPU
cannot be freed at any arbitrary point because individual
VCPUs are not refcounted.

Instead extend free_domain() slightly so it really does do
the reverse of alloc_vcpu() for every allocated VCPU.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Sat Jan 14 23:40:09 2006 +0100 (2006-01-14)
parents f3123052268f
children c6c0f98bf7d3 ba107a7380bc
line source
1 #!/bin/sh
2 exit 0