Searched refs:tee_image (Results 1 – 4 of 4) sorted by relevance
63 int secure_tee_install(u32 tee_image);
951 void board_tee_image_process(ulong tee_image, size_t tee_size) in board_tee_image_process() argument953 secure_tee_install((u32)tee_image); in board_tee_image_process()
1176 void board_tee_image_process(ulong tee_image, size_t tee_size) in board_tee_image_process() argument1178 secure_tee_install((u32)tee_image); in board_tee_image_process()
1186 void board_tee_image_process(ulong tee_image, size_t tee_size) in board_tee_image_process() argument1188 secure_tee_install((u32)tee_image); in board_tee_image_process()