A pointer mismatch has been reported when compiling with the compiler goto-gcc of the bounded model checker CBMC.
Fixes: 9a779e4f (Implement SVM specific part for Nested Virtualization) Signed-off-by: Norbert Manthey <[email protected]> --- xen/arch/x86/hvm/svm/svm.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/hvm/svm/svm.c b/xen/arch/x86/hvm/svm/svm.c --- a/xen/arch/x86/hvm/svm/svm.c +++ b/xen/arch/x86/hvm/svm/svm.c @@ -1794,7 +1794,7 @@ static void svm_do_nested_pgfault(struct vcpu *v, uint64_t gpa; uint64_t mfn; uint32_t qualification; - uint32_t p2mt; + p2m_type_t p2mt; } _d; p2m = p2m_get_p2m(v); -- 2.7.4 Amazon Development Center Germany GmbH Krausenstr. 38 10117 Berlin Geschaeftsfuehrer: Christian Schlaeger, Ralf Herbrich Ust-ID: DE 289 237 879 Eingetragen am Amtsgericht Charlottenburg HRB 149173 B _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
