1 2 3 4
require_extension('A'); require_rv64; MMU.acquire_load_reservation(RS1); WRITE_RD(MMU.load_int64(RS1));