xen_evtchn_do_upcall() should call task_isolation_kernel_enter()
to indicate that isolation is broken and perform synchronization.
Signed-off-by: Alex Belits <abelits@xxxxxxxxxxx>
---
drivers/xen/events/events_base.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/drivers/xen/events/events_base.c b/drivers/xen/events/events_base.c
index 140c7bf33a98..4c16cd58f36b 100644
--- a/drivers/xen/events/events_base.c
+++ b/drivers/xen/events/events_base.c
@@ -33,6 +33,7 @@
#include <linux/slab.h>
#include <linux/irqnr.h>
#include <linux/pci.h>
+#include <linux/isolation.h>
#ifdef CONFIG_X86
#include <asm/desc.h>
@@ -1236,6 +1237,8 @@ void xen_evtchn_do_upcall(struct pt_regs *regs)
{
struct pt_regs *old_regs = set_irq_regs(regs);
+ task_isolation_kernel_enter();
+
irq_enter();
__xen_evtchn_do_upcall();
--
2.26.2
