optee_teec_sys

Constant TEEC_NONE

Source
pub const TEEC_NONE: uint32_t = 0x00000000;