Should a PCIe Link Down event set the PCI_DEV_DISCONNECTED bit?

["Alex G." <mr.nuke.me@xxxxxxxxx>]

Hi,

I was under the impression that a DLLSC or PDSC would trigger the 
PCI_DEV_DISCONNECTED bit to be set, blocking any further config access.

Although I'm not seeing that happen after a  "Slot(xxx): Link Down" 
event. I suspect my understanding is then wrong. Or maybe 
PCI_DEV_DISCONNECTED means something else.

In the latter case, does it not make sense to have a separate bit to say 
"Don't touch this device"?

Alex