Searched refs:vm_page_table_base_addr (Results 1 – 1 of 1) sorted by relevance
35 uint64_t vm_page_table_base_addr = qpd->page_table_base; in pm_map_process_v9() local69 lower_32_bits(vm_page_table_base_addr); in pm_map_process_v9()71 upper_32_bits(vm_page_table_base_addr); in pm_map_process_v9()80 uint64_t vm_page_table_base_addr = qpd->page_table_base; in pm_map_process_aldebaran() local108 lower_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()110 upper_32_bits(vm_page_table_base_addr); in pm_map_process_aldebaran()
