sanchayanmaity/minix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Removed some unused tests.

Browse source
This commit is contained in:
Kees van Reeuwijk 2010-01-20 17:55:14 +00:00
parent 9a755c3a1f
commit d6383bef47
3 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
kernel/arch/i386/memory.c
View file

@ -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;

4
kernel/arch/i386/protect.c
View file

@ -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;
}

1
kernel/arch/i386/proto.h
View file

@ -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));