#!/bin/bash
if [ X$XENMODDIR = X ] ; then
	echo XENMODDIR not set
        exit 1
fi
if ! [ $# -eq 1 ] ; then 
	echo one argument, module basename, if required
	exit 1
fi
grep "^$1 " $XENMODDIR/.history|tail -1|sed 's/.* //' |tr -d "\n" >$XENMODDIR/.cleanup
if ! [ -s $XENMODDIR/.cleanup ] ; then
	echo $1 has not ever been loaded ?
	exit 1
fi
ADDR=`cat $XENMODDIR/.cleanup`
if [ $ADDR = "0" ] ; then
	echo module $1 has been already unloaded
	exit 1
fi
echo "$1 0" >> $XENMODDIR/.history
sync; $XENMODDIR/xenrunproc $ADDR


