@ -50,22 +50,6 @@ extern "C" {
#define ARCH_HAS_ATOMIC_COMPARE_AND_SWAP 1
/** @} */
/**
* @brief Disable interrupts
*/
static inline void __attribute__((always_inline)) dINT(void)
{
asm volatile ("cli");
}
* @brief Enable interrupts
static inline void __attribute__((always_inline)) eINT(void)
asm volatile ("sti");
* @brief Disable interrupts and halt forever.
*
@ -142,7 +142,7 @@ void isr_cpu_switch_context_exit(void)
void cpu_switch_context_exit(void)
dINT();
disableIRQ();
if (!x86_in_isr) {
x86_in_isr = true;
@ -206,7 +206,7 @@ static void fpu_used_interrupt(uint8_t intr_num, struct x86_pushad *orig_ctx, un
static void x86_thread_exit(void)
if (fpu_owner == sched_active_pid) {
fpu_owner = KERNEL_PID_UNDEF;