diff options
author | Julien Grall <julien.grall@arm.com> | 2017-04-24 18:58:37 +0100 |
---|---|---|
committer | Juergen Gross <jgross@suse.com> | 2017-05-02 11:50:06 +0200 |
commit | 5d9404e1185de8d508cd042761306495f727d7eb (patch) | |
tree | 73ba8215abc5321f8ddbb13a19d2aa2043bf1cfd /kernel | |
parent | f31b969217b42df605b2e0e64aa6b3e03e781a4f (diff) |
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 'kernel')
0 files changed, 0 insertions, 0 deletions