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() local141 lower_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()143 upper_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()