xv6-riscv-kernel/kernel/spinlock.h