[seL4] questions about TK1 VM

Adrian.Danis at data61.csiro.au Adrian.Danis at data61.csiro.au
Mon May 1 11:42:00 AEST 2017

Hi Peng,

1. TLB status is irrelevant
2. Contents of registers from seL4_UserContext are always just literally what that thread had in its registers, no translation in any direction is done by the kernel


On Thu 27-Apr-2017 7:05 AM, PX wrote:
Hi, all
I have some questions about TK1 VM. I want to save the execution status of the TK1 VM. First, I stop the VM, then I use the function, seL4_TCB_ReadRegisters() to read the VM's registers into a buffer.

Here are my questions:
1. Before I call the function, seL4_TCB_ReadRegisters(), do I need to flush TLB of CPU? If so, where is the library I need to check for this function?
2. The register values in the structure, seL4_UserContext, are VMM's physical addresses or virtual addresses?

Best wishes


Devel mailing list
Devel at sel4.systems<mailto:Devel at sel4.systems>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20170501/28c50667/attachment.html>

More information about the Devel mailing list