Searched refs:VA2PA (Results 1 – 1 of 1) sorted by relevance
763 static u_int VA2PA(void *);776 VA2PA(void *addr) in VA2PA() function3547 va2pa_offset = (vaddr_t)kernel_text - VA2PA(kernel_text); in pmap_bootstrap4m()4115 (VA2PA((void *)sc) >> SRMMU_PPNPASHIFT) | in pmap_alloc_cpu()4364 pm->pm_reg_ptps_pa[n] = VA2PA((char *)upt); in pmap_pmap_pool_ctor()6412 (VA2PA((void *)ptd) >> SRMMU_PPNPASHIFT) | in pmap_enu4m()6440 (VA2PA((void *)pte) >> SRMMU_PPNPASHIFT) | SRMMU_TEPTD); in pmap_enu4m()7526 pm->pm_reg_ptps_pa[cpu] != VA2PA((void *)pm->pm_reg_ptps[cpu]))) in pm_check_u()7532 (cpuinfo.ctx_tbl[pm->pm_ctxnum] != ((VA2PA((void *)pm->pm_reg_ptps[cpu]) in pm_check_u()7551 pm->pm_reg_ptps[cpu][vr] != ((VA2PA((void *)rp->rg_seg_ptps) >> in pm_check_u()[all …]