record_type      1448 dev/ipmi.c     	switch (s1->sdrhdr.record_type) {
record_type       204 dev/ipmivar.h  	u_int8_t	record_type;		/* SDR Record Type */