Constant k_objects_K_OBJ_DRIVER_TEE 

pub const k_objects_K_OBJ_DRIVER_TEE: u32 = 80; // 80u32