@@ -44,6 +44,7 @@
#include <asm/cpufeature.h>
#include <asm/platform.h>
#include <asm/procinfo.h>
+#include <xsm/xsm.h>
struct cpuinfo_arm __read_mostly boot_cpu_data;
@@ -719,8 +720,7 @@ void __init start_xen(unsigned long boot_phys_offset,
init_IRQ();
- gic_route_ppis();
- gic_route_spis();
+ xsm_dt_init();
init_maintenance_interrupt();
init_timer_interrupt();
@@ -1006,6 +1006,7 @@ static arm_hypercall_t arm_hypercall_table[] = {
HYPERCALL(sched_op, 2),
HYPERCALL(console_io, 3),
HYPERCALL(xen_version, 2),
+ HYPERCALL(xsm_op, 1),
HYPERCALL(event_channel_op, 2),
HYPERCALL(physdev_op, 2),
HYPERCALL(sysctl, 2),