Unix system V/386 release 4 : device driver interface / driver-kernel interface (DDI/DKI) reference manual (AT&T, 1990)