Searched defs:locknumber (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/include/arch/aarch64/ | ||
H A D | spinlock.h | 23 static inline void spinlock_acquire(int locknumber) {} argument 24 static inline void spinlock_release(int locknumber) {} argument |
Completed in 27 milliseconds