With the introduction of software dirty bit emulation for managed mappings, we should test ATTR_SW_DBM, not ATTR_AP_RW, to determine whether to set PGA_WRITEABLE. At present, we are are setting PGA_WRITEABLE based on whether the dirty bit is preset, not whether the mapping is writeable.