Searched refs:tee_image (Results 1 – 4 of 4) sorted by relevance
64 int secure_tee_install(u32 tee_image);
872 void board_tee_image_process(ulong tee_image, size_t tee_size) in board_tee_image_process() argument874 secure_tee_install((u32)tee_image); in board_tee_image_process()
999 void board_tee_image_process(ulong tee_image, size_t tee_size) in board_tee_image_process() argument1001 secure_tee_install((u32)tee_image); in board_tee_image_process()
1057 void board_tee_image_process(ulong tee_image, size_t tee_size) in board_tee_image_process() argument1059 secure_tee_install((u32)tee_image); in board_tee_image_process()