Eivind Eklund fcfdc24dd2 vxalloc() can return NULL. Deal with it.		1998-12-16 00:38:57 +00:00
..
if_vx_eisa.c
if_vx_pci.c
if_vx.c
if_vxreg.h