Constant optee_utee_sys::TA_FLAG_CACHE_MAINTENANCE

source ยท 
pub const TA_FLAG_CACHE_MAINTENANCE: u32 = _; // 128u32