ppc_find_vmap_phys
return ppc_find_vmap_phys(token);
return __va(ppc_find_vmap_phys((unsigned long)addr));