optee_page        460 drivers/tee/optee/call.c 	phys_addr_t optee_page;
optee_page        486 drivers/tee/optee/call.c 	optee_page = page_to_phys(*pages) +
optee_page        490 drivers/tee/optee/call.c 		pages_data->pages_list[n++] = optee_page;
optee_page        499 drivers/tee/optee/call.c 		optee_page += OPTEE_MSG_NONCONTIG_PAGE_SIZE;
optee_page        500 drivers/tee/optee/call.c 		if (!(optee_page & ~PAGE_MASK)) {
optee_page        504 drivers/tee/optee/call.c 			optee_page = page_to_phys(*pages);