tools/libs: xenforeignmemory_unmap_resource() should be idempotent...
authorPaul Durrant <paul.durrant@citrix.com>
Tue, 27 Nov 2018 16:39:17 +0000 (16:39 +0000)
committerWei Liu <wei.liu2@citrix.com>
Tue, 27 Nov 2018 16:58:36 +0000 (16:58 +0000)
commit9ac13813d59479ac6c568ae3d838d034ea0ccdc8
tree181f8a14d46398e2fd32c8a648d439293e4bfdad
parentc9d7fdb83bdfd71bec84acea0e0db232c4503212
tools/libs: xenforeignmemory_unmap_resource() should be idempotent...

...and is not because linux osdep_xenforeignmemory_unmap_resource() is not.

Reported-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Paul Durrant <paul.durrant@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
tools/libs/foreignmemory/linux.c