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