[Skiboot] [PATCH] sparse: fix incorrect type assignment in core/ipmi.c

[Stewart Smith]

core/ipmi.c:262:44: warning: incorrect type in assignment (different base types)
core/ipmi.c:262:44:    expected unsigned long long [usertype] opal_event_ipmi_recv
core/ipmi.c:262:44:    got restricted beint64_t

Signed-off-by: Stewart Smith <stewart at linux.ibm.com>
---
 include/ipmi.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/include/ipmi.h b/include/ipmi.h
index b67d7e0a59fe..5310b57da55c 100644
--- a/include/ipmi.h
+++ b/include/ipmi.h
@@ -20,6 +20,7 @@
 #include <stdint.h>
 #include <ccan/list/list.h>
 #include <stdbool.h>
+#include <types.h>
 
 #define MAX_IPMI_SENSORS 255
 
@@ -176,7 +177,7 @@ struct ipmi_msg {
 };
 
 struct ipmi_backend {
-	uint64_t opal_event_ipmi_recv;
+	__be64 opal_event_ipmi_recv;
 	struct ipmi_msg *(*alloc_msg)(size_t, size_t);
 	void (*free_msg)(struct ipmi_msg *);
 	int (*queue_msg)(struct ipmi_msg *);
-- 
2.21.0