/SPARTAN/trunk/arch/ia32/src/bios/bios.c |
---|
33,6 → 33,6 |
void bios_init(void) |
{ |
/* Copy the EBDA out from BIOS Data Area */ |
/* Copy the EBDA address out from BIOS Data Area */ |
ebda = *((__u16 *) BIOS_EBDA_PTR) * 0x10; |
} |
/SPARTAN/trunk/arch/ia32/src/smp/apic.c |
---|
230,8 → 230,8 |
l_apic[TPR] &= TPRClear; |
// if (CPU->arch.family >= 6) |
// enable_l_apic_in_msr(); |
if (CPU->arch.family >= 6) |
enable_l_apic_in_msr(); |
tmp = l_apic[ICRlo] & ICRloClear; |
l_apic[ICRlo] = tmp | DLVRMODE_INIT | DESTMODE_PHYS | LEVEL_DEASSERT | SHORTHAND_INCL | TRGRMODE_LEVEL; |
256,6 → 256,7 |
t2 = l_apic[CCRT]; |
l_apic[ICRT] = t1-t2; |
} |
void l_apic_eoi(void) |
/SPARTAN/trunk/arch/ia32/src/interrupt.c |
---|
92,7 → 92,7 |
void syscall(__u8 n, __u32 stack[]) |
{ |
printf("cpu%d: syscall\n", CPU->id); |
thread_usleep(1000000); |
thread_usleep(1000); |
} |
void tlb_shootdown_ipi(__u8 n, __u32 stack[]) |