toc_kdfc          631 drivers/net/ethernet/neterion/vxge/vxge-config.c 	val64 = readq(&hldev->toc_reg->toc_kdfc);
toc_kdfc          642 drivers/net/ethernet/neterion/vxge/vxge-reg.h /*0x004a0*/	u64	toc_kdfc;