direct-io.hg

view docs/Doxyfilter @ 11725:b92104e0cf08

Since shadow_update_paging_modes() will modify v->arch.hvm_vcpu.hw_cr3,
so we should always do shadow_update_paging_modes() before we writes to
GUEST_CR3 with v->arch.hvm_vcpu.hw_cr3.

Signed-off-by: Xiaohui Xin xiaohui.xin@intel.com
Signed-off-by: Xin Li <xin.b.li@intel.com>
author Tim Deegan <tim.deegan@xensource.com>
date Mon Oct 09 10:18:11 2006 +0100 (2006-10-09)
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