| 30,9 → 30,14 |
|---|
| #ifndef __ia64_PAGE_H__ |
| #define __ia64_PAGE_H__ |
| |
| #include <arch/mm/frame.h> |
| |
| #define PAGE_SIZE FRAME_SIZE |
| #define PAGE_WIDTH FRAME_WIDTH |
| |
| |
| #ifdef KERNEL |
| |
| /** Bit width of the TLB-locked portion of kernel address space. */ |
| #define KERNEL_PAGE_WIDTH 28 /* 256M */ |
| |
| 265,6 → 270,8 |
|---|
| extern bool vhpt_compare(__address page, asid_t asid, vhpt_entry_t *v); |
| extern void vhpt_set_record(vhpt_entry_t *v, __address page, asid_t asid, __address frame, int flags); |
| |
| #endif |
| #endif /* __ASM__ */ |
| |
| #endif /* KERNEL */ |
| |
| #endif |