Symbol: vm_page_mappings