From 4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b Mon Sep 17 00:00:00 2001 From: manuel Date: Tue, 27 Mar 2012 11:51:08 +0200 Subject: reorganize file structure to match the upstream requirements --- pintos-progos/threads/interrupt.h | 70 --------------------------------------- 1 file changed, 70 deletions(-) delete mode 100644 pintos-progos/threads/interrupt.h (limited to 'pintos-progos/threads/interrupt.h') diff --git a/pintos-progos/threads/interrupt.h b/pintos-progos/threads/interrupt.h deleted file mode 100644 index d43e06d..0000000 --- a/pintos-progos/threads/interrupt.h +++ /dev/null @@ -1,70 +0,0 @@ -#ifndef THREADS_INTERRUPT_H -#define THREADS_INTERRUPT_H - -#include -#include - -/* Interrupts on or off? */ -enum intr_level - { - INTR_OFF, /* Interrupts disabled. */ - INTR_ON /* Interrupts enabled. */ - }; - -enum intr_level intr_get_level (void); -enum intr_level intr_set_level (enum intr_level); -enum intr_level intr_enable (void); -enum intr_level intr_disable (void); - -/* Interrupt stack frame. */ -struct intr_frame - { - /* Pushed by intr_entry in intr-stubs.S. - These are the interrupted task's saved registers. */ - uint32_t edi; /* Saved EDI. */ - uint32_t esi; /* Saved ESI. */ - uint32_t ebp; /* Saved EBP. */ - uint32_t esp_dummy; /* Not used. */ - uint32_t ebx; /* Saved EBX. */ - uint32_t edx; /* Saved EDX. */ - uint32_t ecx; /* Saved ECX. */ - uint32_t eax; /* Saved EAX. */ - uint16_t gs, :16; /* Saved GS segment register. */ - uint16_t fs, :16; /* Saved FS segment register. */ - uint16_t es, :16; /* Saved ES segment register. */ - uint16_t ds, :16; /* Saved DS segment register. */ - - /* Pushed by intrNN_stub in intr-stubs.S. */ - uint32_t vec_no; /* Interrupt vector number. */ - - /* Sometimes pushed by the CPU, - otherwise for consistency pushed as 0 by intrNN_stub. - The CPU puts it just under `eip', but we move it here. */ - uint32_t error_code; /* Error code. */ - - /* Pushed by intrNN_stub in intr-stubs.S. - This frame pointer eases interpretation of backtraces. */ - void *frame_pointer; /* Saved EBP (frame pointer). */ - - /* Pushed by the CPU. - These are the interrupted task's saved registers. */ - void (*eip) (void); /* Next instruction to execute. */ - uint16_t cs, :16; /* Code segment for eip. */ - uint32_t eflags; /* Saved CPU flags. */ - void *esp; /* Saved stack pointer. */ - uint16_t ss, :16; /* Data segment for esp. */ - }; - -typedef void intr_handler_func (struct intr_frame *); - -void intr_init (void); -void intr_register_ext (uint8_t vec, intr_handler_func *, const char *name); -void intr_register_int (uint8_t vec, int dpl, enum intr_level, - intr_handler_func *, const char *name); -bool intr_context (void); -void intr_yield_on_return (void); - -void intr_dump_frame (const struct intr_frame *); -const char *intr_name (uint8_t vec); - -#endif /* threads/interrupt.h */ -- cgit v1.2.3