Writes exactly 8 bytes at the effective address `base + offset`.
(&mut self, base: u64, offset: u64, bytes: [u8; 8])
| 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> { |
| 241 | let addr = checked_effective_addr::<8>(self.len(), base, offset)?; |
| 242 | self.write_all(addr, &bytes).ok_or_else(|| { |
| 243 | cold_path(); |
| 244 | memory_oob(addr, 8, self.len()) |
| 245 | }) |
| 246 | } |
| 247 | |
| 248 | /// Writes exactly 16 bytes at the effective address `base + offset`. |
| 249 | fn write_128(&mut self, base: u64, offset: u64, bytes: [u8; 16]) -> core::result::Result<(), crate::Trap> { |