Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 2254 → 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;