add a platform interface for disabling/enabling interrupts

diff --git a/include/bmk-core/platform.h b/include/bmk-core/platform.h
index 3da3ce4303089ac0db6cccb42248252cddddacc6..a87b2fc0e76b4d3e941299e29e926c871a82e192 100644 (file)
--- a/include/bmk-core/platform.h
+++ b/include/bmk-core/platform.h
@@ -30,4 +30,7 @@ void *bmk_platform_allocpg2(int);
 void bmk_platform_freepg2(void *, int);
 void bmk_platform_halt(const char *) __attribute__((noreturn));
 
+unsigned long  bmk_platform_splhigh(void);
+void           bmk_platform_splx(unsigned long);
+
 #endif /* _BMK_CORE_PLATFORM_H_ */

diff --git a/platform/baremetal/kernel.c b/platform/baremetal/kernel.c
index 1ddc582af8365c6159cc5915501145b150ff5858..c8adebd378057201270e299f03ded7a821405a3e 100644 (file)
--- a/platform/baremetal/kernel.c
+++ b/platform/baremetal/kernel.c
@@ -100,6 +100,20 @@ bmk_platform_freepg2(void *mem, int shift)
        bmk_printf("WARNING: freepg2 called! (%p, %d)\n", mem, shift);
 }
 
+unsigned long
+bmk_platform_splhigh(void)
+{
+
+       return 0; /* XXX */
+}
+
+void
+bmk_platform_splx(unsigned long x)
+{
+
+       return; /* XXX */
+}
+
 static int
 parsemem(uint32_t addr, uint32_t len)
 {

diff --git a/platform/xen/xen/kernel.c b/platform/xen/xen/kernel.c
index 9ba1bffa8cc7690ad0567721128aad41524be51f..969be3dbe5fb5f61461eafe353f6e00452e606dd 100644 (file)
--- a/platform/xen/xen/kernel.c
+++ b/platform/xen/xen/kernel.c
@@ -100,6 +100,22 @@ bmk_platform_freepg2(void *p, int shift)
        minios_free_pages(p, shift);
 }
 
+unsigned long
+bmk_platform_splhigh(void)
+{
+       unsigned long x;
+
+       local_irq_save(x);
+       return x;
+}
+
+void
+bmk_platform_splx(unsigned long x)
+{
+
+       local_irq_restore(x);
+}
+
 /*
  * INITIAL C ENTRY POINT.
  */