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