#define CX(addr,reg) addr(,reg,4)
-#include <i386/mp.h>
+#include <i386/lapic.h>
#include <i386/mp_slave_boot.h>
#include <i386/cpuid.h>
.word Times(8,IDTSZ)-1
.long EXT(master_idt)
- /* back to the regular __DATA section. */
+ /* back to the regular __DATA section. */
.section __DATA, __data
movl KSIZE(%ebp), %ecx // Set ecx to kernbootstruct ksize
addl $(NBPG-1), %ecx // Add NBPG-1 to ecx
andl $(-NBPG), %ecx // Truncate ecx to a page aligned addr
- sarl $2, %ecx // Divide ecx by 4
+ shrl $2, %ecx // Divide ecx by 4
movl %esp, (PA(EXT(KernelRelocOffset)))(%esp)
// Store relocation offset
movl %edi, KADDR(%ebp) // Relocate kaddr in kernbootstruct
movl %eax, %cr3
movl %cr4, %eax
- orl $(CR4_PAE|CR4_PGE), %eax
+ orl $(CR4_PAE), %eax
movl %eax, %cr4
movl $0x80000001, %eax
*/
#ifdef PAE
movl %cr4, %eax
- orl $(CR4_PAE|CR4_PGE), %eax
+ orl $(CR4_PAE), %eax
movl %eax, %cr4
movl $(MSR_IA32_EFER), %ecx /* MSR number in ecx */