Changeset 6473d41 in mainline

Timestamp:

2010-06-29T20:19:09Z (15 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c9eb31c2

Parents:

f56e897f

Message:

Alter the ia32 istate_t so that the stack trace printed upon a panic shows the
faulting instruction and modify the exception/interrupt handlers accordingly.
With this change, the ia32 istate_t contains all GPRs again.

Location:

kernel/arch/ia32

Files:

• include/interrupt.h (modified) (2 diffs)
• src/asm.S (modified) (2 diffs)

kernel/arch/ia32/include/interrupt.h

@@ -72 +72 @@
 typedef struct istate {
         uint32_t eax;
+        uint32_t ebx;
         uint32_t ecx;
         uint32_t edx;
+        uint32_t edi;
+        uint32_t esi;
         uint32_t ebp;
+        
+        uint32_t ebp_frame;     /* imitation of frame pointer linkage */
+        uint32_t eip_frame;     /* imitation of return address linkage */
 
         uint32_t gs;
@@ -81 +87 @@
         uint32_t ds;
 
-        uint32_t error_word;
+        uint32_t error_word;    /* real or fake error word */
         uint32_t eip;
         uint32_t cs;
         uint32_t eflags;
-        uint32_t stack[];
+        uint32_t esp;           /* only if istate_t is from uspace */
+        uint32_t ss;            /* only if istate_t is from uspace */
 } istate_t;
 

kernel/arch/ia32/src/asm.S

@@ -190 +190 @@
 
 
+#define ISTATE_OFFSET_EAX               0
+#define ISTATE_OFFSET_EBX               4
+#define ISTATE_OFFSET_ECX               8
+#define ISTATE_OFFSET_EDX               12
+#define ISTATE_OFFSET_EDI               16
+#define ISTATE_OFFSET_ESI               20
+#define ISTATE_OFFSET_EBP               24
+#define ISTATE_OFFSET_EBP_FRAME         28
+#define ISTATE_OFFSET_EIP_FRAME         32
+#define ISTATE_OFFSET_GS                36
+#define ISTATE_OFFSET_FS                40
+#define ISTATE_OFFSET_ES                44
+#define ISTATE_OFFSET_DS                48
+#define ISTATE_OFFSET_ERROR_WORD        52
+#define ISTATE_OFFSET_EIP               56
+#define ISTATE_OFFSET_CS                60
+#define ISTATE_OFFSET_EFLAGS            64
+#define ISTATE_OFFSET_ESP               68
+#define ISTATE_OFFSET_SS                72
+
+/*
+ * Size of the istate structure without the hardware-saved part and without the
+ * error word.
+ */
+#define ISTATE_SOFT_SIZE                52
+
 ## Declare interrupt handlers
 #
@@ -201 +227 @@
 .macro handler i n
         
-        .ifeq \i - 0x30     # Syscall handler
-                pushl %ds
-                pushl %es
-                pushl %fs
-                pushl %gs
-                
-                #
-                # Push syscall arguments onto the stack
-                #
-                # NOTE: The idea behind the order of arguments passed in registers is to
-                #       use all scratch registers first and preserved registers next.
-                #       An optimized libc syscall wrapper can make use of this setup.
-                #
-                pushl %eax
-                pushl %ebp
-                pushl %edi
-                pushl %esi
-                pushl %ebx
-                pushl %ecx
-                pushl %edx
-                
-                # we must fill the data segment registers
-                movw $16, %ax
-                movw %ax, %ds
-                movw %ax, %es
-        
-                xorl %ebp, %ebp
-
-                cld
-                sti
-                # syscall_handler(edx, ecx, ebx, esi, edi, ebp, eax)
-                call syscall_handler
-                cli
-
-                movl 20(%esp), %ebp     # restore EBP
-                addl $28, %esp          # clean-up of parameters
-                
-                popl %gs
-                popl %fs
-                popl %es
-                popl %ds
-                
-                CLEAR_NT_FLAG
-                iret
-        .else
-                /*
-                 * This macro distinguishes between two versions of ia32 exceptions.
-                 * One version has error word and the other does not have it.
-                 * The latter version fakes the error word on the stack so that the
-                 * handlers and istate_t can be the same for both types.
-                 */
-                .iflt \i - 32
-                        .if (1 << \i) & ERROR_WORD_INTERRUPT_LIST
-                                /*
-                                 * With error word, do nothing
-                                 */
-                        .else
-                                /*
-                                 * Version without error word
-                                 */
-                                subl $4, %esp
-                        .endif
-                .else
-                        /*
-                         * Version without error word
-                         */
-                        subl $4, %esp
-                .endif
-                
-                pushl %ds
-                pushl %es
-                pushl %fs
-                pushl %gs
-                
-                pushl %ebp
-                pushl %edx
-                pushl %ecx
-                pushl %eax
-                
-                # we must fill the data segment registers
-                
-                movw $16, %ax
-                movw %ax, %ds
-                movw %ax, %es
-                
-                # stop stack traces here if we came from userspace
-                cmpl $8, 40(%esp)
-                jz 0f
-                xorl %ebp, %ebp
-
-0:              
-                pushl %esp          # *istate
-                pushl $(\i)         # intnum
-                call exc_dispatch   # exc_dispatch(intnum, *istate)
-                addl $8, %esp       # Clear arguments from stack
-                
-                CLEAR_NT_FLAG # Modifies %ecx
-                
-                popl %eax
-                popl %ecx
-                popl %edx
-                popl %ebp
-                
-                popl %gs
-                popl %fs
-                popl %es
-                popl %ds
-                
-                # skip error word, no matter whether real or fake
-                addl $4, %esp
-                iret
-        .endif
-        
-        .align INTERRUPT_ALIGN
-        .if (\n- \i) - 1
-                handler "(\i + 1)", \n
-        .endif
+.ifeq \i - 0x30     # Syscall handler
+        pushl %ds
+        pushl %es
+        pushl %fs
+        pushl %gs
+                
+        #
+        # Push syscall arguments onto the stack
+        #
+        # NOTE: The idea behind the order of arguments passed in registers is to
+        #       use all scratch registers first and preserved registers next.
+        #       An optimized libc syscall wrapper can make use of this setup.
+        #
+        pushl %eax
+        pushl %ebp
+        pushl %edi
+        pushl %esi
+        pushl %ebx
+        pushl %ecx
+        pushl %edx
+                
+        # we must fill the data segment registers
+        movw $16, %ax
+        movw %ax, %ds
+        movw %ax, %es
+        
+        xorl %ebp, %ebp
+
+        cld
+        sti
+        # syscall_handler(edx, ecx, ebx, esi, edi, ebp, eax)
+        call syscall_handler
+        cli
+
+        movl 20(%esp), %ebp     # restore EBP
+        addl $28, %esp          # clean-up of parameters
+                
+        popl %gs
+        popl %fs
+        popl %es
+        popl %ds
+                
+        CLEAR_NT_FLAG
+        iret
+.else
+        /*
+         * This macro distinguishes between two versions of ia32 exceptions.
+         * One version has error word and the other does not have it.
+         * The latter version fakes the error word on the stack so that the
+         * handlers and istate_t can be the same for both types.
+         */
+.iflt \i - 32
+.if (1 << \i) & ERROR_WORD_INTERRUPT_LIST
+        #
+        # Exception with error word: do nothing
+        #
+.else
+        #
+        # Exception without error word: fake up one
+        #
+        pushl $0
+.endif
+.else
+        #
+        # Interrupt: fake up one
+        #
+        pushl $0
+.endif
+                
+        subl $ISTATE_SOFT_SIZE, %esp
+
+        #
+        # Save the general purpose registers.
+        #
+        movl %eax, ISTATE_OFFSET_EAX(%esp)
+        movl %ebx, ISTATE_OFFSET_EBX(%esp)
+        movl %ecx, ISTATE_OFFSET_ECX(%esp)
+        movl %edx, ISTATE_OFFSET_EDX(%esp)
+        movl %edi, ISTATE_OFFSET_EDI(%esp)
+        movl %esi, ISTATE_OFFSET_ESI(%esp)
+        movl %ebp, ISTATE_OFFSET_EBP(%esp)
+        
+        #
+        # Save the selector registers.
+        #
+        movl %gs, %eax
+        movl %fs, %ebx
+        movl %es, %ecx
+        movl %ds, %edx
+
+        movl %eax, ISTATE_OFFSET_GS(%esp)
+        movl %ebx, ISTATE_OFFSET_FS(%esp)
+        movl %ecx, ISTATE_OFFSET_ES(%esp)
+        movl %edx, ISTATE_OFFSET_DS(%esp)
+
+        #
+        # Switch to kernel selectors.
+        #
+        movl $16, %eax
+        movl %eax, %ds
+        movl %eax, %es
+                
+        #
+        # Imitate a regular stack frame linkage.
+        # Stop stack traces here if we came from userspace.
+        #
+        cmpl $8, ISTATE_OFFSET_CS(%esp)
+        jz 0f
+        xorl %ebp, %ebp
+0:      movl %ebp, ISTATE_OFFSET_EBP_FRAME(%esp)
+        movl ISTATE_OFFSET_EIP(%esp), %eax
+        movl %eax, ISTATE_OFFSET_EIP_FRAME(%esp)
+        leal ISTATE_OFFSET_EBP_FRAME(%esp), %ebp
+
+        pushl %esp          # pass istate address
+        pushl $(\i)         # pass intnum
+        call exc_dispatch   # exc_dispatch(intnum, istate)
+        addl $8, %esp       # Clear arguments from the stack
+                
+        CLEAR_NT_FLAG
+        
+        #
+        # Restore the selector registers.
+        #
+        movl ISTATE_OFFSET_GS(%esp), %eax
+        movl ISTATE_OFFSET_FS(%esp), %ebx
+        movl ISTATE_OFFSET_ES(%esp), %ecx
+        movl ISTATE_OFFSET_DS(%esp), %edx
+
+        movl %eax, %gs
+        movl %ebx, %fs
+        movl %ecx, %es
+        movl %edx, %ds
+
+        #
+        # Restore the scratch registers and the preserved registers the handler
+        # cloberred itself (i.e. EBX and EBP).
+        #
+        movl ISTATE_OFFSET_EAX(%esp), %eax
+        movl ISTATE_OFFSET_EBX(%esp), %ebx
+        movl ISTATE_OFFSET_ECX(%esp), %ecx
+        movl ISTATE_OFFSET_EDX(%esp), %edx
+        movl ISTATE_OFFSET_EBP(%esp), %ebp
+        
+        addl $(ISTATE_SOFT_SIZE + 4), %esp
+        iret
+.endif
+        
+.align INTERRUPT_ALIGN
+.if (\n- \i) - 1
+        handler "(\i + 1)", \n
+.endif
 .endm