3 Apr
2012
3 Apr
'12
1:43 p.m.
On Mon Apr 02, 2012 at 12:58:35 -0500, Haohui Mai wrote:
One more related question -- it seems that when I call Linux functions, e.g., vmalloc(). The contents of message registers are no longer preserved.
Is it desired behavior?
Indeed it cannot be expected that this is the case. To preserve the contents the vCPU needs to be locked appropriately to prevent preemptions. The L4XV_* wrappers can be used for that.
Adam
--
Adam adam@os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/