Peter Crosthwaite f7ceed190d vfio: cpu: Use "real" page size API
This is system level code, and should only depend on the host page
size, not the target page size.

Note that HOST_PAGE_SIZE is misleadingly lead and is really aligning
to both host and target page size. Hence it's replacement with
REAL_HOST_PAGE_SIZE.

Signed-off-by: Peter Crosthwaite <crosthwaite.peter@gmail.com>
Tested-by: Alexey Kardashevskiy <aik@ozlabs.ru>
Acked-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
2015-07-06 12:15:12 -06:00
..
2015-07-01 15:45:51 +02:00
2015-06-24 16:16:04 +01:00
2015-06-26 15:57:43 +01:00
2015-06-23 20:23:39 +03:00
2015-07-04 02:06:05 -04:00
2015-06-23 19:57:28 +03:00
2015-06-23 19:57:28 +03:00
2015-07-06 10:26:35 +01:00
2015-06-22 18:20:40 +02:00
2015-07-06 12:15:12 -06:00
2015-06-26 15:57:43 +01:00
2015-06-23 19:57:28 +03:00
2015-06-23 18:25:55 +01:00