/*
 * GetRemainingTime_tl.h
 */

#ifndef GETREMAININGTIME_TL_H_
#define GETREMAININGTIME_TL_H_

#include "common_tz_arcounter.h"
#include "tz_arcounter_getremainingtime_msg.h"

uint32_t process_GetRemainingTime(
	tl_arcounter_ctx_t * ctx,
	tz_arcounter_getremainingtime_payload_t * sendmsg,
	tz_arcounter_getremainingtime_payload_t * respmsg
);

#endif /* GETREMAININGTIME_TL_H_ */