Which PnP IRPs are state changing?

While not clear in the WDK documentation, there are two types of PnP IRPs: state changing and non-state changing. Does this distinction matter? Absolutely. State changing PnP IRPs have a contract associated with them while non-state changing IRPs have no contract whatsoever. Before I get into the gory details, I want to list the members of each type

IRP_MN_QUERY_DEVICE_RELATIONS (0x07), or QDR, is notably missing from my list. Why? Because the QDR IRP's contract depends on the DEVICE_RELATION_TYPE specifiedin the query. Note that PowerRelations is not currently implemented by any released OS and that SingleBusRelations is undocumented, so they are unqualified.

 So what does it mean to be a state changing PnP IRP?  It means that...

1. These requests are serialized against each other.  You will never have two state changing IRPs in your stack at once.  For instance, you cannot be processing both an IRP_MN_START_DEVICE and IRP_MN_QUERY_REMOVE_DEVICE at the same time.  You can rely on this serialization when implementing implicit power up/down code in your WDM driver (KMDF already takes care of this for you) when processing each of these IRPs.  
2. With the excpetion of QDR, it is very like that you will have to handle these requests explicitly in your driver instead of blindly passing them down the stack.
3. There is a definitive order in which you will recieve the IRPs.  I will not go into all of the permuations, but as an example, you cannot receive an IRP_MN_QUERY_REMOVE_DEVICE IRP when you are in the query stopped case (e.g. the last PnP IRP you processed was a IRP_MN_QUERY_STOP_DEVICE)
4. These PnP IRPs are serialized against System power irps.  NOTE:   they are not serialized against device, wait wake, or query system power irps.  Again, you can use this to your advantage when managing state changes when processing either of these IRP types.  For instance, once you have seen an Sx power irp, you know that you will not see a IRP_MN_QUERY_REMOVE or IRP_MN_SURPRISE_REMOVAL PnP IRP until you have completed the S0 power irp.

A very good hint as to if the PnP IRP is state changing or not is if a driver may send the IRP.  If a driver is allowed to send the IRP, then it is deifnitively not a state changing power IRP.  This is why IRP_MN_QUERY_CAPABILITIES is a non state changing IRP and IRP_MN_QUERY_DEVICE_STATE is.  The former can be sent by any driver at any time, the later is sent to the device stack by the manager (either by its own decision or someone called IoInvalidateDeviceState with the stack's PDO).