Rev 2236 | Rev 2254 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2236 | Rev 2241 | ||
---|---|---|---|
Line 45... | Line 45... | ||
45 | */ |
45 | */ |
46 | static void init_pte_level0_section(pte_level0_section* pte, unsigned frame){ |
46 | static void init_pte_level0_section(pte_level0_section* pte, unsigned frame){ |
47 | pte->descriptor_type = PTE_DESCRIPTOR_SECTION; |
47 | pte->descriptor_type = PTE_DESCRIPTOR_SECTION; |
48 | pte->bufferable = 0; // disable |
48 | pte->bufferable = 0; // disable |
49 | pte->cacheable = 0; |
49 | pte->cacheable = 0; |
50 | pte->machine_depend = 0; |
50 | pte->impl_specific = 0; |
51 | pte->domain = 0; |
51 | pte->domain = 0; |
52 | pte->should_be_zero_1 = 0; |
52 | pte->should_be_zero_1 = 0; |
53 | pte->access_permission = PTE_AP_USER_NO_KERNEL_RW; |
53 | pte->access_permission = PTE_AP_USER_NO_KERNEL_RW; |
54 | pte->should_be_zero_2 = 0; |
54 | pte->should_be_zero_2 = 0; |
55 | pte->section_base_addr = (frame << FRAME_WIDTH) >> 20; |
55 | pte->section_base_addr = (frame << FRAME_WIDTH) >> 20; |