Searched refs:pmap_cr3 (Results 1 – 1 of 1) sorted by relevance
2952 pmap_paddr_t pmap_cr3 = pmap->pm_cr3; in pmap_flush_tlbs() local3012 if ((pmap_cr3 == cpu_task_cr3) || in pmap_flush_tlbs()3013 (pmap_cr3 == cpu_active_cr3) || in pmap_flush_tlbs()3053 (pmap_cr3 == CPU_GET_ACTIVE_CR3(cpu) || in pmap_flush_tlbs()3055 (pmap_cr3 == CPU_GET_TASK_CR3(cpu)))) { in pmap_flush_tlbs()3129 …0x%llx, CPU active CR3: 0x%llX, CPU Task Map: %d", kernel_pmap->pm_cr3, pmap_cr3, current_cpu_data… in pmap_flush_tlbs()