jedec_dimm_temp_sysctl
static int jedec_dimm_temp_sysctl(SYSCTL_HANDLER_ARGS);
jedec_dimm_temp_sysctl, "IK", "DIMM temperature (deg C)");