Searched refs:pn_r (Results 1 – 6 of 6) sorted by last modified time
/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/bit_blaster/ |
H A D | bit_blaster_tpl_def.h | 496 …expr_ref_vector pp_q(m()), pp_r(m()), pn_q(m()), pn_r(m()), np_q(m()), np_r(m()), nn_q(m()), nn_r(… in mk_sdiv_srem_smod() 515 mk_udiv_urem(sz, a_bits, neg_b_bits.data(), pn_q, pn_r); in mk_sdiv_srem_smod() 519 pn_r.resize(sz, m().mk_false()); in mk_sdiv_srem_smod() 557 expr_ref_vector & pn_out = pn_r; in mk_sdiv_srem_smod() 586 mk_adder(sz, b_bits, pn_r.data(), pn_out); in mk_sdiv_srem_smod()
|
/dports/multimedia/libv4l/linux-5.13-rc2/net/ipv6/ |
H A D | ip6_fib.c | 1799 struct fib6_node *pn_r = rcu_dereference_protected(pn->right, in fib6_repair_tree() local 1853 if (pn_r == fn) in fib6_repair_tree()
|
/dports/multimedia/v4l_compat/linux-5.13-rc2/net/ipv6/ |
H A D | ip6_fib.c | 1799 struct fib6_node *pn_r = rcu_dereference_protected(pn->right, in fib6_repair_tree() local 1853 if (pn_r == fn) in fib6_repair_tree()
|
/dports/multimedia/v4l-utils/linux-5.13-rc2/net/ipv6/ |
H A D | ip6_fib.c | 1799 struct fib6_node *pn_r = rcu_dereference_protected(pn->right, in fib6_repair_tree() local 1853 if (pn_r == fn) in fib6_repair_tree()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/bit_blaster/ |
H A D | bit_blaster_tpl_def.h | 576 …expr_ref_vector pp_q(m()), pp_r(m()), pn_q(m()), pn_r(m()), np_q(m()), np_r(m()), nn_q(m()), nn_r(… in mk_sdiv_srem_smod() 595 mk_udiv_urem(sz, a_bits, neg_b_bits.c_ptr(), pn_q, pn_r); in mk_sdiv_srem_smod() 599 pn_r.resize(sz, m().mk_false()); in mk_sdiv_srem_smod() 637 expr_ref_vector & pn_out = pn_r; in mk_sdiv_srem_smod() 666 mk_adder(sz, b_bits, pn_r.c_ptr(), pn_out); in mk_sdiv_srem_smod()
|
/dports/graphics/tgif/tgif-QPL-4.2.5/ |
H A D | tgcwdl.c | 152 void PixeltoRGB(pcwdi, pixel, pn_r, pn_g, pn_b) in PixeltoRGB() argument 155 unsigned int *pn_r, *pn_g, *pn_b; 174 *pn_r = r; 932 int ValidateRGB(pcwdi, pn_r, pn_g, pn_b) in ValidateRGB() argument 934 int *pn_r, *pn_g, *pn_b; 936 if (!ValidateNumber(TdgtSmplEditGetText(pcwdi->r_edit_ctl), 255, pn_r)) {
|