Constant k_objects_K_OBJ_DRIVER_TEE 

pub const k_objects_K_OBJ_DRIVER_TEE: k_objects = 80;