version 1.8, 2008/04/14 13:38:03 |
version 1.9, 2008/09/05 13:37:24 |
Line 819 xen_bootstrap_tables (vaddr_t old_pgd, v |
|
Line 819 xen_bootstrap_tables (vaddr_t old_pgd, v |
|
pte[pl1_pi(page)] |= PG_RW; |
pte[pl1_pi(page)] |= PG_RW; |
} |
} |
|
|
if ((page >= old_pgd && page < old_pgd + (old_count * PAGE_SIZE)) || page >= new_pgd) |
if ((page >= old_pgd && page < old_pgd + (old_count * PAGE_SIZE)) |
|
|| page >= new_pgd) { |
__PRINTK(("va 0x%lx pa 0x%lx " |
__PRINTK(("va 0x%lx pa 0x%lx " |
"entry 0x%" PRIx64 " -> L1[0x%x]\n", |
"entry 0x%" PRIx64 " -> L1[0x%x]\n", |
page, page - KERNBASE, |
page, page - KERNBASE, |
(int64_t)pte[pl1_pi(page)], pl1_pi(page))); |
(int64_t)pte[pl1_pi(page)], pl1_pi(page))); |
|
} |
page += PAGE_SIZE; |
page += PAGE_SIZE; |
} |
} |
|
|