kdfc_drbl_triplet_total 4153 drivers/net/ethernet/neterion/vxge/vxge-config.c 	val64 = readq(&vp_reg->kdfc_drbl_triplet_total);
kdfc_drbl_triplet_total 4108 drivers/net/ethernet/neterion/vxge/vxge-reg.h /*0x00c48*/	u64	kdfc_drbl_triplet_total;