[PATCH 10/13] PCI: revoke mappings like devmem