/* Return pointer to the tsb associated with this tcw.  */
struct tsb* tcw_get_tsb(struct tcw *tcw)
/* Return pointer to the tsb associated with this tcw.  */
struct tsb* tcw_get_tsb(struct tcw *tcw)
{
	return (struct tsb *) ((addr_t) tcw->tsb);
}