device_set 63 drivers/edac/ghes_edac.c u8 device_set; device_set 1856 drivers/edac/i7core_edac.c u8 device_set;