(&mut self, addr: u64)
| 279 | |
| 280 | /// Restore MMIO device state from a snapshot. |
| 281 | pub fn restore_device_state(&mut self, state: &DeviceState) { |
| 282 | self.uart = state.uart.clone(); |
| 283 | self.clint = state.clint.clone(); |
| 284 | self.plic = state.plic.clone(); |
| 285 | self.framebuffer = state.framebuffer.clone(); |
| 286 | self.keyboard = state.keyboard.clone(); |
| 287 | self.syscon_exit = state.syscon_exit; |