TEE_NUM_PARAMS

optee_utee_sys

Constant TEE_NUM_PARAMS 

Source 
pub const TEE_NUM_PARAMS: u32 = 4;