diff options
| author | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-09-19 09:14:41 +0000 |
|---|---|---|
| committer | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-09-19 09:14:41 +0000 |
| commit | d847ecf9711c4b6ada02aa78893203c18ed49450 (patch) | |
| tree | 56ee386ee1060df598e8ee8e64d3ce5f8863ca90 /tools/libxc/xc_core.c | |
| parent | d7f655cb2a4bcbdb4da3408a07a9a6d278a97bcd (diff) | |
| download | xen-d847ecf9711c4b6ada02aa78893203c18ed49450.tar.gz xen-d847ecf9711c4b6ada02aa78893203c18ed49450.tar.bz2 xen-d847ecf9711c4b6ada02aa78893203c18ed49450.zip | |
Fix VMX domains not cleaning up properly, since some page refncts are
not zero. One reason for this is that in function shadow_set_l1e(),
before calling function shadow_update_min_max(), one should call
__shadow_get_sl2e() again, since the sl2 entry may be changed.
Signed-off-by: Xin Xiaohui <Xiaohui.xin@intel.com>
Signed-off-by: Li Chengyuan <Chengyuan.li@intel.com>
Diffstat (limited to 'tools/libxc/xc_core.c')
0 files changed, 0 insertions, 0 deletions