Thanks, HailMary, that's the way I thought it should be designed. So, 4 HT threads would not require twice as much register space. The special regs have to be duplicated, but the others could be increased by much less than 2x.
(Pipelining those mapping tables must be quite complex.)