Symbol: reset_kpti
usr/src/uts/i86pc/vm/hat_i86.c
1555
reset_kpti(&cpu->cpu_m.mcpu_kpti, kcr3, ucr3);
usr/src/uts/i86pc/vm/hat_i86.c
1556
reset_kpti(&cpu->cpu_m.mcpu_kpti_flt, kcr3, ucr3);
usr/src/uts/i86pc/vm/hat_i86.c
1557
reset_kpti(&cpu->cpu_m.mcpu_kpti_dbg, kcr3, ucr3);