From 4cee6bf93c2389e31e1f0d0a36500a87e678dd8d Mon Sep 17 00:00:00 2001 From: Richard Lowe Date: Sun, 15 May 2011 09:15:10 +0100 Subject: 9207 kdi_idt: Cast GATESEG_GETOFFSET through uintptr_t Reviewed by: Yuri Pankov Approved by: Gordon Ross --- usr/src/uts/intel/kdi/kdi_idt.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/usr/src/uts/intel/kdi/kdi_idt.c b/usr/src/uts/intel/kdi/kdi_idt.c index 4bd6ca73e1..73d9628e62 100644 --- a/usr/src/uts/intel/kdi/kdi_idt.c +++ b/usr/src/uts/intel/kdi/kdi_idt.c @@ -217,7 +217,8 @@ kdi_idt_patch(caddr_t code, size_t sz) continue; /* uses kernel's handler */ gd = &kdi_idt[i]; - patch = (uchar_t *)GATESEG_GETOFFSET(gd) + KDI_MSR_PATCHOFF; + patch = ((uchar_t *)(uintptr_t)GATESEG_GETOFFSET(gd)) + + KDI_MSR_PATCHOFF; /* * We can't ASSERT that there's a nop here, because this may be -- cgit v1.2.3