fix a bug in page_insert(): use pa to compare two mappings
fix bug in page_lookup()
enhance print_region()