ALPHA_K0SEG_TO_PHYS
*pa = ALPHA_K0SEG_TO_PHYS(va);
cpuhdrp->lev1map_pa = ALPHA_K0SEG_TO_PHYS((vaddr_t)kernel_lev1map);
*paddr = ALPHA_K0SEG_TO_PHYS(va);
kernstartpfn = atop(ALPHA_K0SEG_TO_PHYS(kernstart));
kernendpfn = atop(ALPHA_K0SEG_TO_PHYS(kernend));
lwp0.l_md.md_pcbpaddr = (void *)ALPHA_K0SEG_TO_PHYS((vaddr_t)pcb0);
pte = (ALPHA_K0SEG_TO_PHYS(((vaddr_t)lev2map) +
pte = (ALPHA_K0SEG_TO_PHYS((vaddr_t)kernel_lev1map) >> PGSHIFT)
pte = (ALPHA_K0SEG_TO_PHYS(((vaddr_t)lev3map) +
ALPHA_K0SEG_TO_PHYS((vaddr_t)kernel_lev1map) >> PGSHIFT;
pg = PHYS_TO_VM_PAGE(ALPHA_K0SEG_TO_PHYS((vaddr_t)lev1map));
ALPHA_K0SEG_TO_PHYS((vaddr_t)pmap_lev1map(pmap)) >> PGSHIFT;
pa = ALPHA_K0SEG_TO_PHYS(vaddr);
pmap_physpage_free(ALPHA_K0SEG_TO_PHYS((vaddr_t)v));
pa = ALPHA_K0SEG_TO_PHYS(trunc_page((vaddr_t)kva));
pa = ALPHA_K0SEG_TO_PHYS(trunc_page((vaddr_t)kva));
*pap = ALPHA_K0SEG_TO_PHYS(
pte = ((ALPHA_K0SEG_TO_PHYS((vaddr_t) l1pt) >> PGSHIFT) << PG_SHIFT) |
pmap_physpage_free(ALPHA_K0SEG_TO_PHYS((vaddr_t) v));
ALPHA_K0SEG_TO_PHYS((vaddr_t)kernel_lev1map) >> PGSHIFT;
#define PMAP_DIRECT_UNMAP(va) ALPHA_K0SEG_TO_PHYS((va))
#define POOL_VTOPHYS(va) ALPHA_K0SEG_TO_PHYS((vaddr_t) (va))
ioh = ALPHA_K0SEG_TO_PHYS(ioh);
ioh = ALPHA_K0SEG_TO_PHYS(ioh << CHIP_ADDR_SHIFT) >> CHIP_ADDR_SHIFT;
memh = ALPHA_K0SEG_TO_PHYS(memh);
memh = ALPHA_K0SEG_TO_PHYS(memh << CHIP_ADDR_SHIFT) >> CHIP_ADDR_SHIFT;
dh = ALPHA_K0SEG_TO_PHYS(dh);
sh = ALPHA_K0SEG_TO_PHYS(sh);
#define machine_btop(x) alpha_btop(ALPHA_K0SEG_TO_PHYS(x))
#define machine_btop(x) alpha_btop(ALPHA_K0SEG_TO_PHYS(x))
#define machine_btop(x) alpha_btop(ALPHA_K0SEG_TO_PHYS(x))
#define machine_btop(x) alpha_btop(ALPHA_K0SEG_TO_PHYS(x))
#define STIC_KSEG_TO_PHYS(x) ALPHA_K0SEG_TO_PHYS((vaddr_t)x)
#define machine_btop(x) alpha_btop(ALPHA_K0SEG_TO_PHYS(x))