#ifndef MB_TEE_SERIAL_ATTR_H_
#define MB_TEE_SERIAL_ATTR_H_

#include <tee_internal_api.h>
#include <storage.h>
TEE_Result serialise_attr(const struct TransientObject* tr, char* buf);
TEE_Result deserialise_attr(char* buf, struct TransientObject* tr);
size_t calc_attr_size(const struct TransientObject* tr);
#endif /* MB_TEE_SERIAL_ATTR_H_ */