The displayed offset address, 0xf0011080 corresponds to the
virtual address of the trap handler. The slot in the
system GDT pointed to by the segment selector can be
obtained by right-shifting its value by 3 places (0x0158 >> 3).
This gives slot 43 in the GDT which describes
the kernel's text segment.
Figure D-3
illustrates how the offset point to the first level interrupt
handler in the kernel's text segment.

The dis command can be used to examine the kernel
code at this address. For example, to disassemble two lines of
kernel code:

Figure D-3 How an Interrupt Descriptor Table entry indexes the first level interrupt handler in the kernel's text segment

NOTE:
On MPX systems, each active CPU has its own private
IDT and GDT
(there is, however, only one copy of the kernel's text.)
If you do not specify a CPU
to the idt or gdt commands,
crash displays the descriptor tables for all CPUs.
Use the -ccpu option to specify the
CPU in which you are interested.
The base processor is always cpu 0.