ptov
return (ptov((uint32_t)gfx_state.tg_fb.fb_addr));
to = (unsigned char *)ptov(VGA_MEM_BASE) + f_offset +
va = ptov(pa);
#define PTOV(x) ptov(x)
caddr_t ptov(uintptr_t);
smbios_detect(ptov(addr));
caddr_t ptov(uintptr_t pa);