diff options
| author | Andrew Cooper <andrew.cooper3@citrix.com> | 2013-09-25 10:45:53 +0200 |
|---|---|---|
| committer | Jan Beulich <jbeulich@suse.com> | 2013-09-25 10:45:53 +0200 |
| commit | ae7c6b64c063a755097806e30dc24b94fabbda09 (patch) | |
| tree | 8b6f6e0ae52102386491e91a76a2dbf34f451245 /tools/libxc/xc_domain_restore.c | |
| parent | 688eeb878cc58150bf6e729c9c1836b8c1e4cc8f (diff) | |
| download | xen-ae7c6b64c063a755097806e30dc24b94fabbda09.tar.gz xen-ae7c6b64c063a755097806e30dc24b94fabbda09.tar.bz2 xen-ae7c6b64c063a755097806e30dc24b94fabbda09.zip | |
x86/hap: Remove bogus assertion in hap_free_p2m_page()
Coverity ID: 1055622
Coverity correctly points out that this ASSERT() is unconditionally true as an
unsigned integer is always >= 0.
Judging from the shadow counterpart and p2m callsites, there is nothing
invalid about freeing the final p2m page.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Diffstat (limited to 'tools/libxc/xc_domain_restore.c')
0 files changed, 0 insertions, 0 deletions