| /kernel/trunk/arch/mips32/Makefile.inc |
|---|
| 46,6 → 46,12 |
| CFLAGS += -mno-abicalls -G 0 -fno-zero-initialized-in-bss |
| DEFS += -DMACHINE=${MIPS_MACHINE} -DKERNEL_LOAD_ADDRESS=${KERNEL_LOAD_ADDRESS} -DINIT_ADDRESS=${INIT_ADDRESS} -DINIT_SIZE=${INIT_SIZE} |
| ## Compile with hierarchical page tables support. |
| # |
| CONFIG_PAGE_PT = y |
| ## Accepted MACHINEs |
| # |
| /kernel/trunk/arch/mips32/src/mm/page.c |
|---|
| 26,11 → 26,12 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| #include <arch/types.h> |
| #include <arch/mm/page.h> |
| #include <genarch/mm/page_pt.h> |
| #include <arch/mm/frame.h> |
| #include <mm/frame.h> |
| #include <mm/page.h> |
| #include <arch/types.h> |
| #include <memstr.h> |
| pte_t *PTL0 = NULL; |
| 38,6 → 39,8 |
| void page_arch_init(void) |
| { |
| __address ptl0; |
| page_operations = &page_pt_operations; |
| ptl0 = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME); |
| memsetb(ptl0, FRAME_SIZE, 0); |