amdtemp_probe_ccd_sensors1ah
static void amdtemp_probe_ccd_sensors1ah(device_t dev, uint32_t model);
amdtemp_probe_ccd_sensors1ah(dev, model);