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