void TEES_CheckSecureObjectCreator(){ }


void TEES_UnwrapSecureObject(){}


void TEES_DeriveKeyKDF(){}



void TEES_RPMBCheckEnable(){}


void TEES_RPMBWrite(){}


void TEES_RPMBRead(){}