Rev 3071 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3071 | Rev 3104 | ||
---|---|---|---|
Line 250... | Line 250... | ||
250 | } |
250 | } |
251 | 251 | ||
252 | 252 | ||
253 | void pht_init(void) |
253 | void pht_init(void) |
254 | { |
254 | { |
255 | memsetb((uintptr_t) phte, 1 << PHT_BITS, 0); |
255 | memsetb(phte, 1 << PHT_BITS, 0); |
256 | } |
256 | } |
257 | 257 | ||
258 | 258 | ||
259 | void page_arch_init(void) |
259 | void page_arch_init(void) |
260 | { |
260 | { |