TZ_THFLAG_HOT
newflags |= TZ_THFLAG_HOT;
if ((newflags & (TZ_THFLAG_CR3 | TZ_THFLAG_HOT | TZ_THFLAG_CRT)) != 0) {
if ((newflags & (TZ_THFLAG_HOT | TZ_THFLAG_CRT)) != 0)