[PATCH] x86/shadow: Fix build with !CONFIG_SHADOW_PAGING

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

Implement a stub for shadow_vcpu_teardown()

Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
---
CC: Jan Beulich <JBeulich@xxxxxxxx>
CC: Roger Pau Monné <roger.pau@xxxxxxxxxx>
CC: Wei Liu <wl@xxxxxxx>
---
 xen/include/asm-x86/shadow.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xen/include/asm-x86/shadow.h b/xen/include/asm-x86/shadow.h
index 29a86ed78e..e25f9604d8 100644
--- a/xen/include/asm-x86/shadow.h
+++ b/xen/include/asm-x86/shadow.h
@@ -99,6 +99,7 @@ int shadow_set_allocation(struct domain *d, unsigned int 
pages,
 
 #else /* !CONFIG_SHADOW_PAGING */
 
+#define shadow_vcpu_teardown(v) ASSERT(is_pv_vcpu(v))
 #define shadow_teardown(d, p) ASSERT(is_pv_domain(d))
 #define shadow_final_teardown(d) ASSERT(is_pv_domain(d))
 #define shadow_enable(d, mode) \
-- 
2.11.0