Can we use the following function in
repos/os/src/server/tz_vmm/include/ram.h for this? Take normal world
virtal address from _state->ip, get corresponding physical address using
va_to_pa function, and call the following with that physical address?
Genode::addr_t va(Genode::addr_t phys)
{
if ((phy
Hello
I am trying to convert virtual address (corresponding to normal world)
stored in instruction pointer into virtual address in tz_vmm, in order to
read the instruction which caused the exception in normal world linux and
process accordingly. Though we do have physical address (using va_to_pa
fu
