st_badsession     350 dev/pci/safe.c 		safestats.st_badsession++;
st_badsession     193 dev/pci/safevar.h 	u_int32_t st_badsession;	/* invalid session id */