Back to UTCB IPC

Guanghui, Cheng at
Sat Oct 10 04:51:02 CEST 2009

	I pushed this old mail to top and i want to know something about UTCB IPC.
> > UTCB values stays the same. It depends on the generated stub whether
> > UTCB IPC is actually used or not. Sending a flexpage, usually
> > disqualifies the usage of UTCB IPC.
> Do you mean, once a flexpage is sent no UTCB IPC should be sent after ?
	I am interested in the question above because in the Thread::transfer_msg 
function as this:
1343   sender_regs->copy_msg (dst_regs);
1345   copy_utcb_to (tag, receiver);
	It seems every time the utcb ipc will follow the register ipc. Is it right?
													Cheng Guanghui 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list