Symbol: wdc_vul_sn840_ccds_info_t