Unix system V386 release 4 : device driver interface driver-kernel interface (DDIDKI) reference manual (AT&T, 1990)