Constant TEE_SE_READER_NAME_MAX 

pub const TEE_SE_READER_NAME_MAX: u32 = 20;