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; |