@@ -241,6 +241,12 @@ ENTRY(setup_early_uart)
#endif
ENDPROC(setup_early_uart)
+ENTRY(enable_runtime_mm)
+ PRINT("- SMP NOT SUPPORTED -\r\n")
+1: wfe
+ b 1b
+ENDPROC(enable_runtime_mm)
+
/*
* Local variables:
* mode: ASM
@@ -933,6 +933,22 @@ void dump_hyp_walk(vaddr_t addr)
}
}
+void mm_init_secondary_cpu(void)
+{
+ printk(XENLOG_ERR "SMP not *SUPPORTED*\n");
+}
+
+int init_secondary_mm(int cpu)
+{
+ printk(XENLOG_ERR "mpu: SMP not *SUPPORTED*\n");
+ return -EINVAL;
+}
+
+void update_mm_mapping(bool enable)
+{
+ printk(XENLOG_ERR "mpu: SMP not *SUPPORTED*\n");
+}
+
/*
* Local variables:
* mode: C
@@ -492,6 +492,22 @@ void p2m_dump_info(struct domain *d)
p2m_read_unlock(p2m);
}
+void setup_virt_paging_one(void *data)
+{
+ printk(XENLOG_ERR "mpu: SMP not *SUPPORTED*\n");
+}
+
+void p2m_invalidate_root(struct p2m_domain *p2m)
+{
+ printk(XENLOG_ERR "mpu: p2m_invalidate_root() not *SUPPORTED*\n");
+}
+
+bool p2m_resolve_translation_fault(struct domain *d, gfn_t gfn)
+{
+ printk(XENLOG_ERR "mpu: p2m_resolve_translation_fault() not *SUPPORTED*\n");
+ return false;
+}
+
/*
* Local variables:
* mode: C