Constant optee_utee_sys::TEE_SE_READER_NAME_MAX

pub const TEE_SE_READER_NAME_MAX: u32 = 20;