diff --git a/platform/xen/xen/include/mini-os/mm.h b/platform/xen/xen/include/mini-os/mm.h
index 7a94a81fd..ca68662db 100644
--- a/platform/xen/xen/include/mini-os/mm.h
+++ b/platform/xen/xen/include/mini-os/mm.h
@@ -72,4 +72,6 @@ unsigned long minios_alloc_contig_pages(int order, unsigned int addr_bits);
 int free_physical_pages(xen_pfn_t *mfns, int n);
 void fini_mm(void);
 
+unsigned long long minios_get_l1prot(void);
+
 #endif /* _MINIOS_MM_H_ */
diff --git a/platform/xen/xen/mm.c b/platform/xen/xen/mm.c
index 691cf3683..f996ca20f 100644
--- a/platform/xen/xen/mm.c
+++ b/platform/xen/xen/mm.c
@@ -92,3 +92,8 @@ void init_mm(void)
 void fini_mm(void)
 {
 }
+
+unsigned long long minios_get_l1prot(void)
+{
+    return L1_PROT;
+}