HelenOSHelenOS-docHelenOS-historic

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

  → /branches/arm/boot/arch/arm32/loader/ @ 2256

  → /branches/arm/boot/arch/arm32/loader/ @ 2257

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 2256 → Rev 2257

/branches/arm/boot/arch/arm32/loader/mm.h
86,11 → 86,11
unsigned access_permission : 2;
unsigned should_be_zero_2 : 8;
unsigned section_base_addr : 12;
} __attribute__ ((packed)) pte_level0_section;
} __attribute__ ((packed)) pte_level0_section_t;
/** Page table that holds 1:1 mapping for booting the kernel. */
extern pte_level0_section page_table[PTL0_ENTRIES_ARCH];
extern pte_level0_section_t page_table[PTL0_ENTRIES_ARCH];
/** Starts the MMU - initializes page table and enables paging. */
130,10 → 130,10
/** Sets the address of level 0 page table.
* \param pt pointer to the page table to set
*/
static inline void set_ptl0_address(pte_level0_section* pt)
static inline void set_ptl0_address(pte_level0_section_t* pt)
{
asm volatile ( "mcr p15, 0, %0, c2, c0, 0 \n"
:
:
: "r"(pt)
);
}

/branches/arm/boot/arch/arm32/loader/mm.c
44,7 → 44,7
* \param frame first frame in the section (frame number)
* \note If frame is not 1MB aligned, first lower 1MB aligned frame will be used.
*/
static void init_pte_level0_section(pte_level0_section* pte, unsigned frame)
static void init_pte_level0_section(pte_level0_section_t* pte, unsigned frame)
{
pte->descriptor_type = PTE_DESCRIPTOR_SECTION;
pte->bufferable = 0;