Searched refs:tee_sec_mem_start (Results 1 – 1 of 1) sorted by relevance
50 u32 tee_sec_mem_start; /* Physical start address reserved for TEE */ member319 tee_info.tee_sec_mem_start = sec_mem_start; in secure_tee_install()328 debug("tee_info.tee_sec_mem_start= %08X\n", tee_info.tee_sec_mem_start); in secure_tee_install()