| /trunk/kernel/arch/ia32xen/src/ia32xen.c |
|---|
| 69,7 → 69,7 |
| void arch_pre_main(void) |
| { |
| pte_t pte; |
| memsetb((uintptr_t) &pte, sizeof(pte), 0); |
| memsetb(&pte, sizeof(pte), 0); |
| pte.present = 1; |
| pte.writeable = 1; |
| 103,7 → 103,7 |
| uintptr_t tpa = PFN2ADDR(meminfo.start + meminfo.reserved); |
| uintptr_t tva = PA2KA(tpa); |
| memsetb(tva, PAGE_SIZE, 0); |
| memsetb((void *) tva, PAGE_SIZE, 0); |
| pte_t *tptl3 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(start_info.ptl0, PTL0_INDEX(tva))); |
| SET_FRAME_ADDRESS(tptl3, PTL3_INDEX(tva), 0); |
| /trunk/kernel/arch/ia32xen/src/pm.c |
|---|
| 98,7 → 98,7 |
| void tss_initialize(tss_t *t) |
| { |
| memsetb((uintptr_t) t, sizeof(struct tss), 0); |
| memsetb(t, sizeof(struct tss), 0); |
| } |
| static void trap(void) |
| /trunk/kernel/arch/ia32xen/src/smp/smp.c |
|---|
| 146,7 → 146,7 |
| panic("couldn't allocate memory for GDT\n"); |
| memcpy(gdt_new, gdt, GDT_ITEMS * sizeof(struct descriptor)); |
| memsetb((uintptr_t)(&gdt_new[TSS_DES]), sizeof(struct descriptor), 0); |
| memsetb(&gdt_new[TSS_DES], sizeof(struct descriptor), 0); |
| gdtr.base = (uintptr_t) gdt_new; |
| if (l_apic_send_init_ipi(ops->cpu_apic_id(i))) { |