diff options
| author | Julien Grall <julien.grall@arm.com> | 2017-04-24 20:58:37 +0300 |
|---|---|---|
| committer | Juergen Gross <jgross@suse.com> | 2017-05-02 12:50:06 +0300 |
| commit | 5d9404e1185de8d508cd042761306495f727d7eb (patch) | |
| tree | 73ba8215abc5321f8ddbb13a19d2aa2043bf1cfd /lib/mpi/mpi-bit.c | |
| parent | f31b969217b42df605b2e0e64aa6b3e03e781a4f (diff) | |
| download | linux-5d9404e1185de8d508cd042761306495f727d7eb.tar.xz | |
xen: Export xen_reboot
The helper xen_reboot will be called by the EFI code in a later patch.
Note that the ARM version does not yet exist and will be added in a
later patch too.
Signed-off-by: Julien Grall <julien.grall@arm.com>
Signed-off-by: Juergen Gross <jgross@suse.com>
Diffstat (limited to 'lib/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions