/* Set the address of the tsb in the specified tcw.  */
void tcw_set_tsb(struct tcw *tcw, struct tsb *tsb)
/* Set the address of the tsb in the specified tcw.  */
void tcw_set_tsb(struct tcw *tcw, struct tsb *tsb)
{
	tcw->tsb = (u64) ((addr_t) tsb);
}