Searched refs:vm_page_table_base_addr (Results 1 – 1 of 1) sorted by relevance
36 uint64_t vm_page_table_base_addr = qpd->page_table_base; in pm_map_process_v9() local82 lower_32_bits(vm_page_table_base_addr); in pm_map_process_v9()84 upper_32_bits(vm_page_table_base_addr); in pm_map_process_v9()93 uint64_t vm_page_table_base_addr = qpd->page_table_base; in pm_map_process_aldebaran() local140 lower_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()142 upper_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()