From 8f7837364bdc5b24a6ee81c360451448db031fe3 Mon Sep 17 00:00:00 2001
From: Zdenek Styblik <stybla@turnovfree.net>
Date: Sat, 17 May 2014 11:39:42 +0200
Subject: [PATCH] ID: 46 - SEL OEM record corner case

According to 31.6.1 SEL Record Type Ranges, IPMIv2.0 specification, timestamped
OEM SEL records are in interval of <C0h,DFh> and not <C0h,DFh).
---
 lib/ipmi_sel.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/ipmi_sel.c b/lib/ipmi_sel.c
index 21ce0c4..67e12e3 100644
--- a/lib/ipmi_sel.c
+++ b/lib/ipmi_sel.c
@@ -1778,7 +1778,7 @@ ipmi_sel_print_std_entry(struct ipmi_intf * intf, struct sel_event_record * evt)
 		else
 			printf(" | ");
 
-		if(evt->record_type < 0xdf)
+		if(evt->record_type <= 0xdf)
 		{
 			printf ("%02x%02x%02x", evt->sel_type.oem_ts_type.manf_id[0], evt->sel_type.oem_ts_type.manf_id[1], evt->sel_type.oem_ts_type.manf_id[2]);
 			if (csv_output)
@@ -1979,7 +1979,7 @@ ipmi_sel_print_std_entry_verbose(struct ipmi_intf * intf, struct sel_event_recor
 
 	if (evt->record_type >= 0xc0)
 	{
-		if(evt->record_type < 0xdf)
+		if(evt->record_type <= 0xdf)
 		{
 			printf (" Manufactacturer ID    : %02x%02x%02x\n", evt->sel_type.oem_ts_type.manf_id[0],
 			evt->sel_type.oem_ts_type.manf_id[1], evt->sel_type.oem_ts_type.manf_id[2]);