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

  → /SPARTAN/trunk/test/mm/mapping1/test.c @ 398

  → /SPARTAN/trunk/test/mm/mapping1/test.c @ 399

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 398 → Rev 399

/SPARTAN/trunk/test/mm/mapping1/test.c
48,28 → 48,30
frame0 = frame_alloc(FRAME_KA);
frame1 = frame_alloc(FRAME_KA);
printf("Writing %L to physical address %P.\n", VALUE0, KA2PA(frame0));
*((__u32 *) frame0) = VALUE0;
printf("Writing %L to physical address %P.\n", VALUE1, KA2PA(frame1));
*((__u32 *) frame1) = VALUE1;
printf("Mapping %P to %P.\n", PAGE0, KA2PA(frame0));
map_page_to_frame(PAGE0, KA2PA(frame0), PAGE_PRESENT, 0);
printf("Mapping %P to %P.\n", PAGE1, KA2PA(frame1));
map_page_to_frame(PAGE1, KA2PA(frame1), PAGE_PRESENT, 0);
printf("Mapping virtual address %P to physical address %P.\n", PAGE0, KA2PA(frame0));
map_page_to_frame(PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE, 0);
printf("Mapping virtual address %P to physical address %P.\n", PAGE1, KA2PA(frame1));
map_page_to_frame(PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE, 0);
printf("Value at %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0));
printf("Value at %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1));
printf("Value at virtual address %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0));
printf("Value at virtual address %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1));
ASSERT(v0 == VALUE0);
ASSERT(v1 == VALUE1);
printf("Writing 0 to %P.\n", PAGE0);
printf("Writing %X to virtual address %P.\n", 0, PAGE0);
*((__u32 *) PAGE0) = 0;
printf("Writing 0 to %P.\n", PAGE1);
printf("Writing %X to virtual address %P.\n", 0, PAGE1);
*((__u32 *) PAGE1) = 0;
printf("Value at %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0));
printf("Value at %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1));
printf("Value at virtual address %P is %X.\n", PAGE0, v0 = *((__u32 *) PAGE0));
printf("Value at virtual address %P is %X.\n", PAGE1, v1 = *((__u32 *) PAGE1));
ASSERT(v0 == 0);
ASSERT(v1 == 0);