Constant TEE_ATTR_KDF_KEY_SIZE 

pub const TEE_ATTR_KDF_KEY_SIZE: u32 = 4026534982;