Andrew Cooper 18dca1410d Coverity: Improve model for {,un}map_domain_page() ...

The first attempt resulted in several "Free of address-of
expression (BAD_FREE)" issues, because of code which relies on the fact that
any pointer in the same page is ok to pass to unmap_domain_page()

Model this property to remove the issues.

Coverity IDs: 1135356 113536{0,1} 1401300 141809{0,1} 1438864
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>

2020-01-06 17:22:17 +00:00

..

model.c

Coverity: Improve model for {,un}map_domain_page()

2020-01-06 17:22:17 +00:00