Create simpler wrapper for reboot_device so I can just set the maxchanends in that.

This commit is contained in:
Russell
2012-01-09 16:20:57 +00:00
parent dd5e086088
commit 59fed688b4
4 changed files with 435 additions and 780 deletions

View File

@@ -0,0 +1,9 @@
//#include <xs1.h>
void device_reboot_implementation(chanend spare);
// This version just exists so generate an assembly wrapper function for me.
void device_reboot(chanend spare)
{
device_reboot_implementation(spare);
}