You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
//
|
|
|
|
|
// Rename to TF_Config.h
|
|
|
|
|
//
|
|
|
|
|
|
|
|
|
|
#ifndef TF_CONFIG_H
|
|
|
|
|
#define TF_CONFIG_H
|
|
|
|
|
|
|
|
|
|
#include "platform.h"
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
|
|
#define TF_ID_BYTES 2
|
|
|
|
|
#define TF_LEN_BYTES 2
|
|
|
|
|
#define TF_TYPE_BYTES 1
|
|
|
|
|
#define TF_CKSUM_TYPE TF_CKSUM_XOR
|
|
|
|
|
#define TF_USE_SOF_BYTE 1
|
|
|
|
|
#define TF_SOF_BYTE 0x01
|
|
|
|
|
typedef uint16_t TF_TICKS;
|
|
|
|
|
typedef uint8_t TF_COUNT;
|
|
|
|
|
#define TF_USE_MUTEX 1
|
|
|
|
|
|
|
|
|
|
// buffer sizes and listener counts are in plat_compat.h
|
|
|
|
|
|
|
|
|
|
#define TF_Error(format, ...) dbg("[TF] " format, ##__VA_ARGS__)
|
|
|
|
|
|
|
|
|
|
#endif //TF_CONFIG_H
|
