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