1 require_extension('A');
2 auto res = MMU.load_int32(RS1, true);
3 MMU.acquire_load_reservation(RS1);
4 WRITE_RD(res);
5