HelenOS-historicHelenOSHelenOS-doc

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /kernel/trunk/arch/ @ 754

  → /kernel/trunk/arch/ @ 755

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 754 → Rev 755

/kernel/trunk/arch/amd64/src/mm/page.c
31,7 → 31,7
#include <arch/mm/frame.h>
#include <mm/page.h>
#include <mm/frame.h>
#include <mm/asid.h>
#include <mm/as.h>
#include <arch/interrupt.h>
#include <arch/asm.h>
#include <config.h>
57,7 → 57,7
* PA2KA(identity) mapping for all frames.
*/
for (cur = 0; cur < last_frame; cur += FRAME_SIZE) {
page_mapping_insert(PA2KA(cur), ASID_KERNEL, cur, PAGE_CACHEABLE | PAGE_EXEC, KA2PA(dba));
page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, PAGE_CACHEABLE | PAGE_EXEC, KA2PA(dba));
}
exc_register(14, "page_fault", page_fault);

/kernel/trunk/arch/mips32/src/mm/tlb.c
339,7 → 339,7
/*
* Check if the mapping exists in page tables.
*/
pte = page_mapping_find(badvaddr, AS->asid, 0);
pte = page_mapping_find(AS, badvaddr, 0);
if (pte && pte->lo.v) {
/*
* Mapping found in page tables.
356,7 → 356,7
* The higher-level page fault handler succeeded,
* The mapping ought to be in place.
*/
pte = page_mapping_find(badvaddr, AS->asid, 0);
pte = page_mapping_find(AS, badvaddr, 0);
ASSERT(pte && pte->lo.v);
return pte;
}

/kernel/trunk/arch/ia32/src/smp/smp.c
44,7 → 44,7
#include <mm/frame.h>
#include <mm/page.h>
#include <mm/heap.h>
#include <mm/asid.h>
#include <mm/as.h>
#include <print.h>
#include <memstr.h>
#include <arch/i8259.h>
65,10 → 65,9
}
if (config.cpu_count > 1) {
page_mapping_insert((__address)l_apic, ASID_KERNEL, (__address)l_apic,
page_mapping_insert(AS_KERNEL, (__address) l_apic, (__address) l_apic,
PAGE_NOT_CACHEABLE, 0);
page_mapping_insert((__address) io_apic, ASID_KERNEL,
(__address) io_apic,
page_mapping_insert(AS_KERNEL, (__address) io_apic, (__address) io_apic,
PAGE_NOT_CACHEABLE, 0);
}

/kernel/trunk/arch/ia32/src/mm/page.c
31,7 → 31,7
#include <arch/mm/frame.h>
#include <mm/frame.h>
#include <mm/page.h>
#include <mm/asid.h>
#include <mm/as.h>
#include <arch/types.h>
#include <config.h>
#include <func.h>
61,7 → 61,7
* PA2KA(identity) mapping for all frames until last_frame.
*/
for (cur = 0; cur < last_frame; cur += FRAME_SIZE)
page_mapping_insert(PA2KA(cur), ASID_KERNEL, cur, PAGE_CACHEABLE, KA2PA(dba));
page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, PAGE_CACHEABLE, KA2PA(dba));
exc_register(14, "page_fault", page_fault);
write_cr3(KA2PA(dba));

/kernel/trunk/arch/ia32/src/drivers/ega.c
29,7 → 29,7
#include <arch/ega.h>
#include <putchar.h>
#include <mm/page.h>
#include <mm/asid.h>
#include <mm/as.h>
#include <arch/mm/page.h>
#include <synch/spinlock.h>
#include <arch/types.h>
59,7 → 59,7
{
__u8 hi, lo;
page_mapping_insert(PA2KA(VIDEORAM), ASID_KERNEL, VIDEORAM, PAGE_NOT_CACHEABLE, 0);
page_mapping_insert(AS_KERNEL, PA2KA(VIDEORAM), VIDEORAM, PAGE_NOT_CACHEABLE, 0);
outb(0x3d4,0xe);
hi = inb(0x3d5);
outb(0x3d4,0xf);