| /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[]) |