Constant k_objects_K_OBJ_DRIVER_HWSPINLOCK 

pub const k_objects_K_OBJ_DRIVER_HWSPINLOCK: u32 = 50; // 50u32