pub const SGX_KEYPOLICY_NOISVPRODID: u16 = 4;