This is right. Those physical pages get pinned by the device. It's not like it's a new issue, anyway - physical backing pages can be dropped and re-used even

This is right. Those physical pages get pinned by the device. It's not like it's a new issue, anyway - physical backing pages can be dropped and re-used even if the process is still running, so the reference counting always had to exist.