Searched refs:value_high (Results 1 – 3 of 3) sorted by relevance
2981 __le32 value_high; member
3435 *reg_val = ((u64)LE32_TO_CPU(cmd_resp->value_high) << 32) | in i40e_aq_debug_read_register()3463 cmd->value_high = CPU_TO_LE32((u32)(reg_val >> 32)); in i40e_aq_debug_write_register()
6927 int16_t value_high = in libcrux_ml_kem_vector_portable_arithmetic_montgomery_reduce_element() local6931 return value_high - c; in libcrux_ml_kem_vector_portable_arithmetic_montgomery_reduce_element()