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() local70 lower_32_bits(vm_page_table_base_addr); in pm_map_process_v9()72 upper_32_bits(vm_page_table_base_addr); in pm_map_process_v9()81 uint64_t vm_page_table_base_addr = qpd->page_table_base; in pm_map_process_aldebaran() local109 lower_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()111 upper_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()