Symbol: optee_check_mem_type
drivers/tee/optee/ffa_abi.c
289
rc = optee_check_mem_type(start, num_pages);
drivers/tee/optee/optee_private.h
379
int optee_check_mem_type(unsigned long start, size_t num_pages);
drivers/tee/optee/smc_abi.c
467
rc = optee_check_mem_type(start, num_pages);
drivers/tee/optee/smc_abi.c
570
return optee_check_mem_type(start, num_pages);