vtophysaddr
if (!(phys_mem = (unsigned long)vtophysaddr(mem))) {
void *vtophysaddr(void *page);
if ((p = vtophysaddr((void *)map->leaf[i])) == NULL) {
return ((*system_info.si_boot)(vtophysaddr((void *)map)));
paddr = vtophysaddr(page);
argv[i] = vtophysaddr(argv[i]);
map->arg1 = vtophysaddr((void *)argv);
map->arg2 = vtophysaddr((void *)bi);
if ((p = vtophysaddr(p)) == NULL) {