Searched refs:sfmmu_vtop_dbg_wanted (Results 1 – 1 of 1) sorted by relevance
67 int sfmmu_vtop_dbg_wanted = 0; /* set this as desired */ variable87 sfmmu_vtop_dbg = sfmmu_vtop_dbg_wanted; in sfmmu_vtop()474 sfmmu_vtop_dbg = sfmmu_vtop_dbg_wanted; in platform_vtop()