CTXDESC_CD_1_TTB0_MASK
CTXDESC_CD_1_TTB0_MASK);
used_bits[1] &= ~cpu_to_le64(CTXDESC_CD_1_TTB0_MASK);