IMMU_GSTS_TES
get_reg32, (status & IMMU_GSTS_TES), status);
get_reg32, !(status & IMMU_GSTS_TES), status);