00001 00007 /* Embedded XINU, Copyright (C) 2007. All rights reserved. */ 00008 00009 #include <kernel.h> 00010 #include <device.h> 00011 00018 devcall putc(ushort descrp, char ch) 00019 { 00020 device *devptr; 00021 00022 if (isbaddev(descrp) ) { return SYSERR; } 00023 devptr = &devtab[descrp]; 00024 return ( (*devptr->putc)(devptr, ch) ); 00025 }