diff --git a/xen/include/asm-x86/vmx_platform.h b/xen/include/asm-x86/vmx_platform.h
index ed4b234a0e..971f616286 100644
--- a/xen/include/asm-x86/vmx_platform.h
+++ b/xen/include/asm-x86/vmx_platform.h
@@ -81,11 +81,10 @@ struct virutal_platform_def {
     struct mi_per_cpu_info mpci;            /* MMIO */
 };
 
-extern int mmio_space(unsigned long);
 extern void handle_mmio(unsigned long, unsigned long, unsigned long);
 extern int vmx_setup_platform(struct exec_domain *, execution_context_t *);
 
-extern inline int mmio_space(unsigned long gpa)
+static inline int mmio_space(unsigned long gpa)
 {
     if (gpa >= VGA_SPACE_START && gpa < VGA_SPACE_END) {
         return 1;