HelenOS-historicHelenOSHelenOS-doc

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /kernel/trunk/arch/ia32/ @ 1595

  → /kernel/trunk/arch/ia32/ @ 1594

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 1595 → Rev 1594

/kernel/trunk/arch/ia32/src/interrupt.c
79,8 → 79,6
void null_interrupt(int n, istate_t *istate)
{
fault_if_from_uspace(istate, "unserviced interrupt: %d", n);
PRINT_INFO_ERRCODE(istate);
panic("unserviced interrupt: %d\n", n);
}
106,7 → 104,6
io_perm_bitmap_install();
return;
}
fault_if_from_uspace(istate, "general protection fault");
}
PRINT_INFO_ERRCODE(istate);
115,8 → 112,6
void ss_fault(int n, istate_t *istate)
{
fault_if_from_uspace(istate, "stack fault");
PRINT_INFO_ERRCODE(istate);
panic("stack fault\n");
}
123,6 → 118,8
void simd_fp_exception(int n, istate_t *istate)
{
PRINT_INFO_ERRCODE(istate);
__u32 mxcsr;
asm
(
129,10 → 126,6
"stmxcsr %0;\n"
:"=m"(mxcsr)
);
fault_if_from_uspace(istate, "SIMD FP exception(19), MXCSR: %#zX",
(__native)mxcsr);
PRINT_INFO_ERRCODE(istate);
printf("MXCSR: %#zX\n",(__native)(mxcsr));
panic("SIMD FP exception(19)\n");
}
142,7 → 135,6
#ifdef CONFIG_FPU_LAZY
scheduler_fpu_lazy_request();
#else
fault_if_from_uspace(istate, "fpu fault");
panic("fpu fault");
#endif
}

/kernel/trunk/arch/ia32/src/mm/page.c
103,8 → 103,6
access = PF_ACCESS_READ;
if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
fault_if_from_uspace(istate, "Page fault: %#x", page);
PRINT_INFO_ERRCODE(istate);
printf("page fault address: %#x\n", page);
panic("page fault\n");

/kernel/trunk/arch/ia32/include/interrupt.h
83,22 → 83,11
__u32 stack[];
};
/** Return true if exception happened while in userspace */
static inline int istate_from_uspace(istate_t *istate)
{
return !(istate->eip & 0x80000000);
}
static inline void istate_set_retaddr(istate_t *istate, __address retaddr)
{
istate->eip = retaddr;
}
static inline __native istate_get_pc(istate_t *istate)
{
return istate->eip;
}
extern void (* disable_irqs_function)(__u16 irqmask);
extern void (* enable_irqs_function)(__u16 irqmask);
extern void (* eoi_function)(void);