diff options
Diffstat (limited to 'drivers/xen/hypervisor.c')
| -rw-r--r-- | drivers/xen/hypervisor.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/drivers/xen/hypervisor.c b/drivers/xen/hypervisor.c index 16c7c96c94e..0b2311ba267 100644 --- a/drivers/xen/hypervisor.c +++ b/drivers/xen/hypervisor.c @@ -264,8 +264,15 @@ void clear_evtchn(uint32_t port) int xen_init(void) { + int el = current_el(); + debug("%s\n", __func__); + if (el != 1) { + puts("XEN:\tnot running from EL1\n"); + return 0; + } + map_shared_info(NULL); init_events(); init_xenbus(); |