mfn_t mfn;
unsigned long gfn = gpa >> PAGE_SHIFT;
- /* If this GFN is emulated MMIO, pass the fault to the mmio handler */
+ /*
+ * If this GFN is emulated MMIO or marked as read-only, pass the fault
+ * to the mmio handler.
+ */
mfn = gfn_to_mfn_current(gfn, &p2mt);
- if ( p2mt == p2m_mmio_dm )
+ if ( (p2mt == p2m_mmio_dm) || (p2mt == p2m_ram_ro) )
{
if ( !handle_mmio() )
hvm_inject_exception(TRAP_gp_fault, 0, 0);
}
mfn = gfn_to_mfn(d, gfn, &t);
- if ( p2m_is_ram(t) && paging_mode_log_dirty(d) )
+ if ( (t != p2m_ram_ro) && p2m_is_ram(t) && paging_mode_log_dirty(d) )
{
paging_mark_dirty(d, mfn_x(mfn));
p2m_change_type(d, gfn, p2m_ram_logdirty, p2m_ram_rw);
p2m_invalid = 0, /* Nothing mapped here */
p2m_ram_rw = 1, /* Normal read/write guest RAM */
p2m_ram_logdirty = 2, /* Temporarily read-only for log-dirty */
- p2m_ram_ro = 3, /* Read-only; writes go to the device model */
+ p2m_ram_ro = 3, /* Read-only; writes are silently dropped */
p2m_mmio_dm = 4, /* Reads and write go to the device model */
p2m_mmio_direct = 5, /* Read/write mapping of genuine MMIO area */
} p2m_type_t;