#ifndef __PROCESS_REQUESTS_H__
#define __PROCESS_REQUESTS_H__

#include <tee_internal_api.h>

extern bool is_tui_started;

TEE_Result process_reg_label(TEE_Param params[4]);
TEE_Result process_start_tui();
TEE_Result process_start_tui_land();

#endif /* __PROCESS_REQUESTS_H__ */