(&mut self, base: u64, offset: u64, bytes: [u8; 16])
| 195 | |
| 196 | #[inline(always)] |
| 197 | fn write_128(&mut self, base: u64, offset: u64, bytes: [u8; 16]) -> core::result::Result<(), crate::Trap> { |
| 198 | let addr = checked_effective_addr::<16>(self.data.len(), base, offset)?; |
| 199 | self.data[addr..addr + 16].copy_from_slice(&bytes); |
| 200 | Ok(()) |
| 201 | } |
| 202 | } |
no test coverage detected