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() local79 lower_32_bits(vm_page_table_base_addr); in pm_map_process_v9()81 upper_32_bits(vm_page_table_base_addr); in pm_map_process_v9()90 uint64_t vm_page_table_base_addr = qpd->page_table_base; in pm_map_process_aldebaran() local133 lower_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()135 upper_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()