pub const HAL_LOCK_NONE: u32 = 0;