__NO_FGT_GROUP__
if (tc.fgt != __NO_FGT_GROUP__ &&
case __NO_FGT_GROUP__:
tc.fgt = __NO_FGT_GROUP__;
if (tc.fgt != __NO_FGT_GROUP__ && check_fgt_bit(vcpu, fgtreg, tc))