Removed some unused tests.

diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c
index 8ed11e7242dfd1982d06a033fa6160a44099de50..a10c1e38daf40b0677c4c05b3449b87c8a74741e 100644 (file)
--- a/kernel/arch/i386/memory.c
+++ b/kernel/arch/i386/memory.c
@@ -225,8 +225,7 @@ int lin_lin_copy(struct proc *srcproc, vir_bytes srclinaddr,
 }
 
 
-PRIVATE u32_t phys_get32(addr)
-phys_bytes addr;
+PRIVATE u32_t phys_get32(phys_bytes addr)
 {
        u32_t v;
        int r;

diff --git a/kernel/arch/i386/protect.c b/kernel/arch/i386/protect.c
index afb142cde9c789f25734742154f67d7e11cb0418..306e5e11bccd82db0b6d7f871cfd06a944884eb2 100644 (file)
--- a/kernel/arch/i386/protect.c
+++ b/kernel/arch/i386/protect.c
@@ -363,7 +363,7 @@ PUBLIC void printseg(char *banner, int iscs, struct proc *pr, u32_t selector)
 
        if(selector & TI) {
                kprintf("LDT");
-               if(index < 0 || index >= LDT_SIZE) {
+               if(index >= LDT_SIZE) {
                        kprintf("invalid index in ldt\n");
                        return;
                }
@@ -374,7 +374,7 @@ PUBLIC void printseg(char *banner, int iscs, struct proc *pr, u32_t selector)
                desc = &pr->p_seg.p_ldt[index];
        } else {
                kprintf("GDT");
-               if(index < 0 || index >= GDT_SIZE) {
+               if(index >= GDT_SIZE) {
                        kprintf("invalid index in gdt\n");
                        return;
                }

diff --git a/kernel/arch/i386/proto.h b/kernel/arch/i386/proto.h
index 217fbcfd0db14e1fc666956fc9c2a23a4cb1a2d1..f49b775386c5b656bbe01a11424e95741918cba1 100644 (file)
--- a/kernel/arch/i386/proto.h
+++ b/kernel/arch/i386/proto.h
@@ -148,7 +148,6 @@ EXTERN struct gate_table_s gate_table_pic[];
 
 /* copies an array of vectors to the IDT. The last vector must be zero filled */
 _PROTOTYPE(void idt_copy_vectors, (struct gate_table_s * first));
-_PROTOTYPE(void idt_reload, (void));
 
 EXTERN void * k_boot_stktop;
 _PROTOTYPE(void tss_init, (struct tss_s * tss, void * kernel_stack, unsigned cpu));