ia64/xen-unstable

view docs/Doxyfilter @ 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 06d84bf87159
children
line source
1 #!/bin/sh
3 #
4 # Doxyfilter <source-root> <filename>
5 #
7 dir=$(dirname "$0")
9 PYFILTER="$dir/pythfilter.py"
11 if [ "${2/.py/}" != "$2" ]
12 then
13 python "$PYFILTER" -r "$1" -f "$2"
14 else
15 cat "$2"
16 fi