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 ((phys < _base) || (phys > (_base + _size))) throw Invalid_addr(); return _local + (phys - _base); }

Looks like a one-to-one mapping between va to pa here. So should the following give the correct value in _state->ip?

Genode::addr_t temp = va_to_pa(_state->ip); printf("ip val:%d\n",*(int*)temp);

Thanks! Riju

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 function), but it is not helping in any way to read the instruction stored at that physical address. Is there any way other than switching MMU off.

Thanks Abhishek

---

Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main