Rev 728 | Rev 747 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 728 | Rev 746 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | #include <genarch/mm/page_ht.h> |
31 | #include <genarch/mm/page_ht.h> |
32 | #include <print.h> |
32 | #include <print.h> |
33 | #include <mm/page.h> |
33 | #include <mm/page.h> |
34 | #include <config.h> |
34 | #include <config.h> |
35 | #include <panic.h> |
35 | #include <panic.h> |
- | 36 | #include <arch/asm.h> |
|
36 | 37 | ||
37 | __u64 thash(__u64 va); |
38 | __u64 thash(__u64 va); |
38 | __u64 thash(__u64 va) |
39 | __u64 thash(__u64 va) |
39 | { |
40 | { |
40 | __u64 ret; |
41 | __u64 ret; |
Line 138... | Line 139... | ||
138 | 139 | ||
139 | 140 | ||
140 | void page_arch_init(void) |
141 | void page_arch_init(void) |
141 | { |
142 | { |
142 | page_operations = &page_ht_operations; |
143 | page_operations = &page_ht_operations; |
- | 144 | pk_disable(); |
|
143 | set_VHPT_environment(); |
145 | set_VHPT_environment(); |
144 | } |
146 | } |