ctx_len          2388 dev/pci/ubsec.c 	printf("CTX (0x%x):\n", c->ctx_len);
ctx_len           152 dev/pci/ubsecreg.h 	volatile u_int16_t	ctx_len;	/* command length */