/kernel/trunk/arch/ppc64/src/mm/page.c |
---|
274,8 → 274,7 |
} |
/* Allocate page hash table */ |
phte_t *physical_phte = (phte_t *) PFN2ADDR(frame_alloc(PHT_ORDER, FRAME_KA | FRAME_PANIC)); |
phte = (phte_t *) PA2KA((__address) physical_phte); |
phte_t *physical_phte = (phte_t *) frame_alloc(PHT_ORDER, FRAME_KA | FRAME_PANIC); |
ASSERT((__address) physical_phte % (1 << PHT_BITS) == 0); |
pht_init(); |