Constant optee_teec_sys::TEEC_NONE

pub const TEEC_NONE: u32 = 0x00000000;