ArmTrngDefs.h

Go to the documentation of this file.

 
#ifndef ARM_FW_TRNG_DEFS_H_
#define ARM_FW_TRNG_DEFS_H_
 
#include <IndustryStandard/ArmStdSmc.h>
 
// Firmware TRNG revision mask and shift
#define TRNG_REV_MAJOR_MASK   0x7FFF
#define TRNG_REV_MINOR_MASK   0xFFFF
#define TRNG_REV_MAJOR_SHIFT  16
 
#if defined (MDE_CPU_ARM)
 
#define ARM_SMC_ID_TRNG_RND  ARM_SMC_ID_TRNG_RND_AARCH32
 
#define MAX_ENTROPY_BITS  96
#elif defined (MDE_CPU_AARCH64)
 
#define ARM_SMC_ID_TRNG_RND  ARM_SMC_ID_TRNG_RND_AARCH64
 
#define MAX_ENTROPY_BITS  192
#else
  #error "Firmware TRNG not supported. Unknown chipset."
#endif
 
#endif // ARM_FW_TRNG_DEFS_H_