From d6383bef47d6ae47359c40ad730bf18fcce4d3de Mon Sep 17 00:00:00 2001
From: Kees van Reeuwijk <reeuwijk@few.vu.nl>
Date: Wed, 20 Jan 2010 17:55:14 +0000
Subject: [PATCH] Removed some unused tests.

---
 kernel/arch/i386/memory.c  | 3 +--
 kernel/arch/i386/protect.c | 4 ++--
 kernel/arch/i386/proto.h   | 1 -
 3 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c
index 8ed11e724..a10c1e38d 100644
--- 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 afb142cde..306e5e11b 100644
--- 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 217fbcfd0..f49b77538 100644
--- 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));