diff options
| author | Juergen Gross <[email protected]> | 2015-07-17 06:51:31 +0200 |
|---|---|---|
| committer | David Vrabel <[email protected]> | 2015-08-20 12:24:21 +0100 |
| commit | 04414baab5ba862b10bde837c4773ffdbb78f0e0 (patch) | |
| tree | a64d6d48e06caf60c2d676d769ec82c55f224201 /lib/mpi/mpiutil.c | |
| parent | 808fdb71936c41d46245f0e3aa6ec889cba70d97 (diff) | |
xen: check pre-allocated page tables for conflict with memory map
Check whether the page tables built by the domain builder are at
memory addresses which are in conflict with the target memory map.
If this is the case just panic instead of running into problems
later.
Signed-off-by: Juergen Gross <[email protected]>
Acked-by: Konrad Rzeszutek Wilk <[email protected]>
Signed-off-by: David Vrabel <[email protected]>
Diffstat (limited to 'lib/mpi/mpiutil.c')
0 files changed, 0 insertions, 0 deletions