Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2131 | Rev 2307 | ||
---|---|---|---|
Line 86... | Line 86... | ||
86 | return !sum; |
86 | return !sum; |
87 | } |
87 | } |
88 | 88 | ||
89 | static void map_sdt(struct acpi_sdt_header *sdt) |
89 | static void map_sdt(struct acpi_sdt_header *sdt) |
90 | { |
90 | { |
91 | page_mapping_insert(AS_KERNEL, (uintptr_t) sdt, (uintptr_t) sdt, PAGE_NOT_CACHEABLE); |
91 | page_mapping_insert(AS_KERNEL, (uintptr_t) sdt, (uintptr_t) sdt, PAGE_NOT_CACHEABLE | PAGE_WRITE); |
92 | map_structure((uintptr_t) sdt, sdt->length); |
92 | map_structure((uintptr_t) sdt, sdt->length); |
93 | } |
93 | } |
94 | 94 | ||
95 | static void configure_via_rsdt(void) |
95 | static void configure_via_rsdt(void) |
96 | { |
96 | { |