Rev 2349 | Rev 2409 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2349 | Rev 2353 | ||
---|---|---|---|
Line 44... | Line 44... | ||
44 | * Will belong to domain 0. No cache or buffering is enabled. |
44 | * Will belong to domain 0. No cache or buffering is enabled. |
45 | * |
45 | * |
46 | * @param pte Section entry to initialize. |
46 | * @param pte Section entry to initialize. |
47 | * @param frame First frame in the section (frame number). |
47 | * @param frame First frame in the section (frame number). |
48 | * |
48 | * |
49 | * @note If #frame is not 1MB aligned, first lower 1MB aligned frame will be used. |
49 | * @note If frame is not 1MB aligned, first lower 1MB aligned frame will be used. |
50 | */ |
50 | */ |
51 | static void init_pte_level0_section(pte_level0_section_t* pte, unsigned int frame) |
51 | static void init_pte_level0_section(pte_level0_section_t* pte, unsigned int frame) |
52 | { |
52 | { |
53 | pte->descriptor_type = PTE_DESCRIPTOR_SECTION; |
53 | pte->descriptor_type = PTE_DESCRIPTOR_SECTION; |
54 | pte->bufferable = 0; |
54 | pte->bufferable = 0; |