#!/bin/sh
module="resproc"
device="pci"

# invoke rmmod with all arguments we got
/sbin/rmmod $module $* || exit 1
/sbin/rmmod tool || exit 1

# Remove stale nodes

rm -f /dev/${device}[0-3] /dev/${device}

