secc
/
l4ka-pistachio
mirror of https://github.com/l4ka/pistachio.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

- A couple of minor fixes (thx to W.Catteau)

This commit is contained in:
Jan Stoess 2008-10-21 00:29:44 -04:00
parent ffe30a6506
commit 1d2bedbe9f
5 changed files with 12 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
kernel/src/arch/x86/segdesc.h
View File

@ -27,8 +27,7 @@ public:
{
struct {
u16_t size;
word_t addr __attribute__((packed));
u16_t pad[sizeof(word_t)-sizeof(u16_t)];
word_t addr __attribute__((packed));
} descriptor;
u16_t selector;
};

4
kernel/src/arch/x86/tss.h
View File

@ -1,6 +1,6 @@
/*********************************************************************
*
* Copyright (C) 2002-2005, 2007, Karlsruhe University
* Copyright (C) 2002-2005, 2007-2008, Karlsruhe University
*
* File path: arch/x86/tss.h
* Description: AMD64 Task State Segment
@ -61,7 +61,7 @@ private:
u64_t reserved2;
u16_t reserved3;
u16_t iopbm_offset;
u8_t io_bitmap[IOPERMBITMAP_SIZE+1] X86_IOPERMBITMAP_ALIGNMENT;
u8_t io_bitmap[IOPERMBITMAP_SIZE] X86_IOPERMBITMAP_ALIGNMENT;
u8_t stopper;
} __attribute__((packed));

10
kernel/src/arch/x86/x32/segdesc.h
View File

@ -1,6 +1,6 @@
/*********************************************************************
*
* Copyright (C) 2002, 2007, Karlsruhe University
* Copyright (C) 2002, 2007-2008, Karlsruhe University
*
* File path: arch/x86/x32/segdesc.h
* Description: IA32 Segment Descriptor
@ -76,8 +76,8 @@ INLINE void x86_segdesc_t::set_seg(u32_t base, u32_t limit,
}
else
{
x.d.limit_low = limit & 0xFFFF;
x.d.limit_high = (limit >> 16) & 0xFF;
x.d.limit_low = limit & 0xFFFF;
x.d.limit_high = limit >> 16;
x.d.g = 0; /* 1B granularity */
}
@ -98,8 +98,8 @@ INLINE void x86_segdesc_t::set_seg(u32_t base, u32_t limit,
INLINE void x86_segdesc_t::set_sys(u32_t base, u32_t limit,
int dpl, segtype_e type)
{
x.d.limit_low = limit & 0xFFFF;
x.d.limit_high = (limit >> 16) & 0xFF;
x.d.limit_low = limit & 0xFFFF;
x.d.limit_high = limit >> 16;
x.d.base_low = base & 0xFFFFFF;
x.d.base_high = (base >> 24) & 0xFF;
x.d.type = type;

4
kernel/src/arch/x86/x32/tss.h
View File

@ -1,6 +1,6 @@
/*********************************************************************
*
* Copyright (C) 2002, 2005, 2007, Karlsruhe University
* Copyright (C) 2002, 2005, 2007-2008, Karlsruhe University
*
* File path: arch/x86/x32/tss.h
* Description: IA32 Task State Segment
@ -64,7 +64,7 @@ private:
u32_t ldt;
u16_t trace;
u16_t iopbm_offset;
u8_t io_bitmap[IOPERMBITMAP_SIZE+1] X86_X32_IOPERMBITMAP_ALIGNMENT;
u8_t io_bitmap[IOPERMBITMAP_SIZE] X86_X32_IOPERMBITMAP_ALIGNMENT;
u8_t stopper;
};

4
kernel/src/arch/x86/x64/tss.h
View File

@ -1,6 +1,6 @@
/*********************************************************************
*
* Copyright (C) 2002-2005, 2007, Karlsruhe University
* Copyright (C) 2002-2005, 2007-2008, Karlsruhe University
*
* File path: arch/x86/x64/tss.h
* Description: AMD64 Task State Segment
@ -61,7 +61,7 @@ private:
u64_t reserved2;
u16_t reserved3;
u16_t iopbm_offset;
u8_t io_bitmap[IOPERMBITMAP_SIZE+1] AMD64_IOPERMBITMAP_ALIGNMENT;
u8_t io_bitmap[IOPERMBITMAP_SIZE] AMD64_IOPERMBITMAP_ALIGNMENT;
u8_t stopper;
} __attribute__((packed));