Back to UTCB IPC

[Guanghui, Cheng]

Hello:
	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);
1344
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: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20091010/12cdbca1/attachment.html>