Symbol: vm_page_domain