00001 00007 /* Embedded XINU, Copyright (C) 2007. All rights reserved. */ 00008 00009 #include <kernel.h> 00010 00015 devcall ionull(void) 00016 { 00017 return OK; 00018 }