Constant optee_utee_sys::TEE_NUM_PARAMS

pub const TEE_NUM_PARAMS: u32 = 4;