#ifndef _TSEC_H_
#define _TSEC_H_

#include "types.h"

int tsec_query(u32 carveout, u8 *dst, u32 rev);

#endif