9207 kdi_idt: Cast GATESEG_GETOFFSET through uintptr_t
commit4cee6bf93c2389e31e1f0d0a36500a87e678dd8d
authorRichard Lowe <richlowe@richlowe.net>
Sun, 15 May 2011 08:15:10 +0000 (15 09:15 +0100)
committerDan McDonald <danmcd@joyent.com>
Tue, 10 Apr 2018 14:35:23 +0000 (10 10:35 -0400)
treeacf755d8b903b73f90a3d9ec6f335d4d7b111d57
parent67048e0fd1ad0154eb457cc2b9e78c9d9938283b
9207 kdi_idt: Cast GATESEG_GETOFFSET through uintptr_t
Reviewed by: Yuri Pankov <yuripv@yuripv.net>
Approved by: Gordon Ross <gwr@nexenta.com>
usr/src/uts/intel/kdi/kdi_idt.c