#include <tee_internal_api.h>
void tm_all_run(); 

TEE_Result tm_rpmb_run();

void tm_memory_run();

TEE_Result tm_hash_run();

TEE_Result tm_read_serialnumber_run();

TEE_Result tm_string_run();

TEE_Result tm_timer_run();

TEE_Result tm_latest_auth_result_run();