From b3f41cbef488a457980d56f7c6753e00bcf147f2 Mon Sep 17 00:00:00 2001
From: yuvraj1803 <ysakshith@gmail.com>
Date: Fri, 10 Nov 2023 16:47:25 +0530
Subject: [PATCH] added IPA switch while switching context.

---
 core/sched.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/sched.c b/core/sched.c
index ec9b621..1157e33 100644
--- a/core/sched.c
+++ b/core/sched.c
@@ -99,5 +99,6 @@ void schedule(){
 
 	debug("Context switch: %s  -->  %s\n", prev->name, current->name);
 
+	load_vttbr_el2(current->vmid, (uint64_t)current->virtual_address_space->lv1_table);
 	switch_context(&prev->cpu.context, &current->cpu.context);
 }