Use vaddr for tval instead of paddr when translation is enabled
@ninolomata can you confirm that this is the correct tval? Thanks!
:heavy_check_mark: successful run, report available here.
@AngelaGonzalezMarino Can I merge ?