Writes exactly 4 bytes at the effective address `base + offset`.
(&mut self, base: u64, offset: u64, bytes: [u8; 4])
| 229 | |
| 230 | /// Writes exactly 4 bytes at the effective address `base + offset`. |
| 231 | fn write_32(&mut self, base: u64, offset: u64, bytes: [u8; 4]) -> core::result::Result<(), crate::Trap> { |
| 232 | let addr = checked_effective_addr::<4>(self.len(), base, offset)?; |
| 233 | self.write_all(addr, &bytes).ok_or_else(|| { |
| 234 | cold_path(); |
| 235 | memory_oob(addr, 4, self.len()) |
| 236 | }) |
| 237 | } |
| 238 | |
| 239 | /// Writes exactly 8 bytes at the effective address `base + offset`. |
| 240 | fn write_64(&mut self, base: u64, offset: u64, bytes: [u8; 8]) -> core::result::Result<(), crate::Trap> { |