xv6-riscv-kernel/spinlock.h