Add get_thread_reg() and set_reg() for hwthread