include/shared/lk: Benchmark Framework Kernel Headers

Bug: 256779443
Test: "com.android.trusty.hwrng.bench"

Change-Id: Ie98a3e74b2a23ad8524d1613668e42b0477a32ee
4 files changed