minios: introduce minios_get_l1prot

Signed-off-by: Wei Liu <liuw@liuw.name>
rumpkernel · Jun 24, 2015 · 4be390b · 4be390b
1 parent ed7d413
commit 4be390b
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git 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
@@ -92,3 +92,8 @@ void init_mm(void)
 void fini_mm(void)
 {
 }
+
+unsigned long long minios_get_l1prot(void)
+{
+    return L1_PROT;
+}