Searched refs:hat_check_vtop (Results 1 – 1 of 1) sorted by relevance
388 int hat_check_vtop = 0; variable7912 if (hat_check_vtop == 0) in sfmmu_check_kpfn()