tree 73ba8215abc5321f8ddbb13a19d2aa2043bf1cfd
parent f31b969217b42df605b2e0e64aa6b3e03e781a4f
author Julien Grall <julien.grall@arm.com> 1493056717 +0100
committer Juergen Gross <jgross@suse.com> 1493718606 +0200

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>