ptov
return ((uint8_t *)ptov(gfx_fb.framebuffer_common.framebuffer_addr));
(void) strlcpy(lbuf, ptov(fp->f_addr), dsize);
smbios.addr = ptov(paddr);
smbios.addr = ptov(paddr);
const caddr_t paddr = addr != NULL ? addr : ptov(SMBIOS_START);
caddr_t ptov(uintptr_t);