Co-developed-by: Paolo Bonzini <pbonz...@redhat.com> Signed-off-by: Bernhard Beschow <shen...@gmail.com> --- rust/hw/char/pl011/src/device.rs | 6 ++++++ 1 file changed, 6 insertions(+)
diff --git a/rust/hw/char/pl011/src/device.rs b/rust/hw/char/pl011/src/device.rs index fa591c3ef6..48b4bca6b8 100644 --- a/rust/hw/char/pl011/src/device.rs +++ b/rust/hw/char/pl011/src/device.rs @@ -304,6 +304,12 @@ fn read_data_register(&mut self, update: &mut bool) -> u32 { } fn write_data_register(&mut self, value: u32) -> bool { + if !self.control.enable_uart() { + log_mask_ln!(Log::GuestError, "PL011 data written to disabled UART"); + } + if !self.control.enable_transmit() { + log_mask_ln!(Log::GuestError, "PL011 data written to disabled TX UART"); + } // interrupts always checked let _ = self.loopback_tx(value.into()); self.int_level |= Interrupt::TX; -- 2.49.0