diff options
| author | Juergen Gross <[email protected]> | 2015-07-17 06:51:22 +0200 |
|---|---|---|
| committer | David Vrabel <[email protected]> | 2015-08-20 12:24:16 +0100 |
| commit | 17fb46b1190b677a37cdd636e2aa30052109f51b (patch) | |
| tree | 47461119ff01c254b7cd39a3cc5ab0cfab60f49b /lib/mpi/mpiutil.c | |
| parent | 7ed208ef4ef9dbd03cda8a5b5a85cc78f79ef213 (diff) | |
xen: sync with xen headers
Use the newest headers from the xen tree to get some new structure
layouts.
Signed-off-by: Juergen Gross <[email protected]>
Reviewed-by: David Vrabel <[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