Rev 3071 | Go to most recent revision | 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 | { |