pub const SGX_KEYPOLICY_NOISVPRODID: u32 = 4;