From 2e7fa1115f544c4ac5fe41d70db3cc1cd4905f06 Mon Sep 17 00:00:00 2001
From: Matheus <matheusuky@gmail.com>
Date: Fri, 21 Apr 2023 21:17:06 -0300
Subject: [PATCH] interrupt: make sure cpu id is 64bit before bit shift

---
 kernel-src/sys/interrupt.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel-src/sys/interrupt.c b/kernel-src/sys/interrupt.c
index a6b9060e..48f9ca3f 100644
--- a/kernel-src/sys/interrupt.c
+++ b/kernel-src/sys/interrupt.c
@@ -20,7 +20,7 @@ void interrupt_register(int vector, void (*func)(isr_t *self, context_t *ctx), v
 	isr_t *isr = &_cpu()->isr[vector];
 	isr->func = func;
 	isr->eoi = eoi;
-	isr->id = _cpu()->id << 32 | vector;
+	isr->id = (uint64_t)_cpu()->id << 32 | vector;
 	isr->priority = priority;
 }