- /* set up the page tables to use BootstrapPTD
- * as done in idle_pt.c, but this must be done programatically */
- mov $(INITPT_SEG_BASE + PAGE_SIZE), %eax
- mov $(INITPT_SEG_BASE + 2*PAGE_SIZE | INTEL_PTE_WRITE | INTEL_PTE_VALID), %ecx
- mov $0x0, %edx
- mov %ecx, (0*8+0)(%eax)
- mov %edx, (0*8+4)(%eax)
- add $(PAGE_SIZE), %ecx
- mov %ecx, (1*8+0)(%eax)
- mov %edx, (1*8+4)(%eax)
- add $(PAGE_SIZE), %ecx
- mov %ecx, (2*8+0)(%eax)
- mov %edx, (2*8+4)(%eax)
- add $(PAGE_SIZE), %ecx
- mov %ecx, (3*8+0)(%eax)
- mov %edx, (3*8+4)(%eax)
-
- /* Temporary stack */
- mov $(REAL_MODE_BOOTSTRAP_OFFSET + PROT_MODE_START), %esp