Placeholder github Source User accepted merge request !3227: Correctly forward GPA to TLB on gvma flush at OpenHW Group / backup-20260329 / cva6

Placeholder github Source User
2026-03-16T19:21:26Z

GVMA flushes takes as parameter a shifted address, but the un-shifting was wrongly computed compared to the TLB's implementation. Fixing that, and minor formatting on cvs6_tlb.sv.

Tested to boot Linux and an hypervisor, and reproduced in Verilator.