acrn-kernel/include/keys/trusted_tee.h