sail-riscv
sail-riscv copied to clipboard
Change load_reservation, match_reservation, etc. to take physaddr
trafficstars
Reservation is done on physical addresses, so these should take physaddr not xlenbits.