ulock_sys
pub const ULF_WAKE_THREAD: u32 = 0x00000200;
Flag for __ulock_wake (these are in bits 8-16)
__ulock_wake