From ddddf903dc4fa649ed8cbbc30452fedda5364586 Mon Sep 17 00:00:00 2001
From: Imbus <>
Date: Sat, 16 Aug 2025 16:12:01 +0200
Subject: [PATCH] Notes in ispinlock

---
 kern/ispinlock.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kern/ispinlock.c b/kern/ispinlock.c
index ca4b15d..e2a9e79 100644
--- a/kern/ispinlock.c
+++ b/kern/ispinlock.c
@@ -18,6 +18,7 @@ void spin_unlock(spinlock_t *l) {
 }
 
 // Optional: tiny pause/backoff (works even if Zihintpause isn't present).
+// See: https://github.com/riscv/riscv-isa-manual/blob/main/src/zihintpause.adoc
 void cpu_relax(void) {
 #if defined(__riscv_zihintpause)
     __asm__ volatile("pause");