Searched refs:tee_image (Results 1 – 4 of 4) sorted by relevance
63 int secure_tee_install(u32 tee_image);
998 void board_tee_image_process(ulong tee_image, size_t tee_size) in board_tee_image_process() argument1000 secure_tee_install((u32)tee_image); in board_tee_image_process()
1115 void board_tee_image_process(ulong tee_image, size_t tee_size) in board_tee_image_process() argument1117 secure_tee_install((u32)tee_image); in board_tee_image_process()
1111 void board_tee_image_process(ulong tee_image, size_t tee_size) in board_tee_image_process() argument1113 secure_tee_install((u32)tee_image); in board_tee_image_process()