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