Constant intel_tee_quote_verification_sys::SGX_REPORT_BODY_RESERVED4_BYTES

pub const SGX_REPORT_BODY_RESERVED4_BYTES: u32 = 42;