Constant k_objects_K_OBJ_DRIVER_HWSPINLOCK 

pub const k_objects_K_OBJ_DRIVER_HWSPINLOCK: k_objects = 50;