extern void hw_lock_lock(
hw_lock_t);
+extern void hw_lock_lock_nopreempt(
+ hw_lock_t);
+
extern void hw_lock_unlock(
hw_lock_t);
+extern void hw_lock_unlock_nopreempt(
+ hw_lock_t);
+
extern unsigned int hw_lock_to(
hw_lock_t,
uint64_t);
extern unsigned int hw_lock_try(
hw_lock_t);
+extern unsigned int hw_lock_try_nopreempt(
+ hw_lock_t);
+
extern unsigned int hw_lock_held(
hw_lock_t);