Home
last modified time | relevance | path

Searched refs:cx (Results 1 – 25 of 11062) sorted by relevance

12345678910>>...443

/dports/multimedia/mlt6-qt5/mlt-6.26.1/src/modules/plusgpl/
H A Dfilter_telecide.c666 if ( ! CacheQuery( cx, cx->y, &cx->p, &cx->pblock, &cx->c, &cx->cblock ) ) in get_image()
693 CacheQuery( cx, cx->nframe, &cx->np, &cx->npblock, &cx->nc, &cx->ncblock ); in get_image()
849 BitBlt( cx->dstp, 2 * cx->dpitch, cx->fnrp, 2 * cx->pitch, cx->w, cx->hover2 ); in get_image()
850 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
855 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fnrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
862 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
868 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
874 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fprp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
898 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
905 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
[all …]
/dports/multimedia/mlt7/mlt-7.0.1/src/modules/plusgpl/
H A Dfilter_telecide.c666 if ( ! CacheQuery( cx, cx->y, &cx->p, &cx->pblock, &cx->c, &cx->cblock ) ) in get_image()
693 CacheQuery( cx, cx->nframe, &cx->np, &cx->npblock, &cx->nc, &cx->ncblock ); in get_image()
849 BitBlt( cx->dstp, 2 * cx->dpitch, cx->fnrp, 2 * cx->pitch, cx->w, cx->hover2 ); in get_image()
850 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
855 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fnrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
862 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
868 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
874 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fprp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
898 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
905 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
[all …]
/dports/multimedia/py-mlt6/mlt-6.26.1/src/modules/plusgpl/
H A Dfilter_telecide.c666 if ( ! CacheQuery( cx, cx->y, &cx->p, &cx->pblock, &cx->c, &cx->cblock ) ) in get_image()
693 CacheQuery( cx, cx->nframe, &cx->np, &cx->npblock, &cx->nc, &cx->ncblock ); in get_image()
849 BitBlt( cx->dstp, 2 * cx->dpitch, cx->fnrp, 2 * cx->pitch, cx->w, cx->hover2 ); in get_image()
850 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
855 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fnrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
862 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
868 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
874 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fprp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
898 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
905 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
[all …]
/dports/multimedia/mlt7-qt5/mlt-7.0.1/src/modules/plusgpl/
H A Dfilter_telecide.c666 if ( ! CacheQuery( cx, cx->y, &cx->p, &cx->pblock, &cx->c, &cx->cblock ) ) in get_image()
693 CacheQuery( cx, cx->nframe, &cx->np, &cx->npblock, &cx->nc, &cx->ncblock ); in get_image()
849 BitBlt( cx->dstp, 2 * cx->dpitch, cx->fnrp, 2 * cx->pitch, cx->w, cx->hover2 ); in get_image()
850 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
855 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fnrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
862 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
868 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
874 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fprp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
898 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
905 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
[all …]
/dports/multimedia/mlt6/mlt-6.26.1/src/modules/plusgpl/
H A Dfilter_telecide.c666 if ( ! CacheQuery( cx, cx->y, &cx->p, &cx->pblock, &cx->c, &cx->cblock ) ) in get_image()
693 CacheQuery( cx, cx->nframe, &cx->np, &cx->npblock, &cx->nc, &cx->ncblock ); in get_image()
849 BitBlt( cx->dstp, 2 * cx->dpitch, cx->fnrp, 2 * cx->pitch, cx->w, cx->hover2 ); in get_image()
850 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
855 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fnrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
862 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
868 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fcrp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
874 …BitBlt( cx->dstp + cx->dpitch, 2 * cx->dpitch, cx->fprp + cx->pitch, 2 * cx->pitch, cx->w, cx->hov… in get_image()
898 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
905 for ( cx->x = 0; cx->x < cx->w; cx->x++ ) in get_image()
[all …]
/dports/net-im/nextcloud-spreed-signaling/nextcloud-spreed-signaling-0.2.0/vendor/src/go.etcd.io/etcd/tests/e2e/
H A Dctl_v3_auth_test.go108 cx.user, cx.pass = "root", "root"
117 cx.user, cx.pass = "root", "root"
129 cx.user, cx.pass = "", ""
154 cx.user, cx.pass = "root", "root"
166 cx.user, cx.pass = "a", "b"
207 cx.user, cx.pass = "root", "root"
217 cx.user, cx.pass = "root", "root"
600 cx.user, cx.pass = "", ""
606 cx.user, cx.pass = "", ""
1082 cx.user, cx.pass = "", ""
[all …]
/dports/devel/etcd34/etcd-3.4.18/tests/e2e/
H A Dctl_v3_auth_test.go110 cx.user, cx.pass = "root", "root"
119 cx.user, cx.pass = "root", "root"
131 cx.user, cx.pass = "", ""
156 cx.user, cx.pass = "root", "root"
168 cx.user, cx.pass = "a", "b"
209 cx.user, cx.pass = "root", "root"
219 cx.user, cx.pass = "root", "root"
602 cx.user, cx.pass = "", ""
608 cx.user, cx.pass = "", ""
1084 cx.user, cx.pass = "", ""
[all …]
/dports/sysutils/terraform/terraform-1.0.11/vendor/go.etcd.io/etcd/tests/e2e/
H A Dctl_v3_auth_test.go110 cx.user, cx.pass = "root", "root"
119 cx.user, cx.pass = "root", "root"
131 cx.user, cx.pass = "", ""
156 cx.user, cx.pass = "root", "root"
168 cx.user, cx.pass = "a", "b"
209 cx.user, cx.pass = "root", "root"
219 cx.user, cx.pass = "root", "root"
602 cx.user, cx.pass = "", ""
608 cx.user, cx.pass = "", ""
1084 cx.user, cx.pass = "", ""
[all …]
/dports/security/vault/vault-1.8.2/vendor/go.etcd.io/etcd/tests/e2e/
H A Dctl_v3_auth_test.go112 cx.user, cx.pass = "root", "root"
121 cx.user, cx.pass = "root", "root"
133 cx.user, cx.pass = "", ""
158 cx.user, cx.pass = "root", "root"
184 cx.user, cx.pass = "root", "root"
196 cx.user, cx.pass = "a", "b"
237 cx.user, cx.pass = "root", "root"
630 cx.user, cx.pass = "", ""
636 cx.user, cx.pass = "", ""
1112 cx.user, cx.pass = "", ""
[all …]
/dports/www/minio-client/etcd-3.5.0/tests/e2e/
H A Dctl_v3_auth_test.go109 cx.user, cx.pass = "root", "root"
118 cx.user, cx.pass = "root", "root"
130 cx.user, cx.pass = "", ""
155 cx.user, cx.pass = "root", "root"
181 cx.user, cx.pass = "root", "root"
193 cx.user, cx.pass = "a", "b"
234 cx.user, cx.pass = "root", "root"
627 cx.user, cx.pass = "", ""
633 cx.user, cx.pass = "", ""
1109 cx.user, cx.pass = "", ""
[all …]
/dports/security/certmgr/certmgr-3.0.3/vendor/github.com/google/certificate-transparency-go/certificate-transparency-go-1.0.21/vendor/github.com/coreos/etcd/e2e/
H A Dctl_v3_auth_test.go95 cx.user, cx.pass = "root", "root"
104 cx.user, cx.pass = "root", "root"
116 cx.user, cx.pass = "", ""
141 cx.user, cx.pass = "root", "root"
153 cx.user, cx.pass = "a", "b"
194 cx.user, cx.pass = "root", "root"
204 cx.user, cx.pass = "root", "root"
587 cx.user, cx.pass = "", ""
593 cx.user, cx.pass = "", ""
1034 cx.user, cx.pass = "", ""
[all …]
/dports/sysutils/istio/istio-1.6.7/vendor/github.com/hashicorp/vault/ui/app/templates/svg/
H A Dinitialize.hbs11 <circle cx="100" cy="3.125" r="3.125"/>
12 <circle cx="100" cy="196.875" r="3.125"/>
13 <circle cx="16.111" cy="51.563" r="3.125"/>
14 <circle cx="183.889" cy="148.438" r="3.125"/>
15 <circle cx="16.111" cy="148.438" r="3.125"/>
16 <circle cx="183.889" cy="51.563" r="3.125"/>
17 <circle cx="51.563" cy="16.111" r="3.125"/>
19 <circle cx="3.125" cy="100" r="3.125"/>
20 <circle cx="196.875" cy="100" r="3.125"/>
21 <circle cx="51.563" cy="183.889" r="3.125"/>
[all …]
/dports/devel/etcd31/etcd-3.1.20/e2e/
H A Dctl_v3_auth_test.go73 cx.user, cx.pass = "root", "root"
82 cx.user, cx.pass = "root", "root"
94 cx.user, cx.pass = "", ""
119 cx.user, cx.pass = "root", "root"
131 cx.user, cx.pass = "a", "b"
172 cx.user, cx.pass = "root", "root"
182 cx.user, cx.pass = "root", "root"
198 cx.user, cx.pass = "root", "root"
224 cx.user, cx.pass = "root", "root"
238 cx.user, cx.pass = "root", "root"
[all …]
/dports/devel/etcd32/etcd-3.2.32/e2e/
H A Dctl_v3_auth_test.go78 cx.user, cx.pass = "root", "root"
87 cx.user, cx.pass = "root", "root"
99 cx.user, cx.pass = "", ""
124 cx.user, cx.pass = "root", "root"
136 cx.user, cx.pass = "a", "b"
177 cx.user, cx.pass = "root", "root"
187 cx.user, cx.pass = "root", "root"
203 cx.user, cx.pass = "root", "root"
229 cx.user, cx.pass = "root", "root"
554 cx.user, cx.pass = "", ""
[all …]
/dports/www/edbrowse/edbrowse-3.7.7/src/
H A Djseng-duk.c169 duk_pop(cx); in native_btoa()
183 duk_pop(cx); in native_atob()
276 duk_pop(cx); in native_media()
355 duk_pop(cx); in native_confirm()
381 duk_pop(cx); in jsInterruptCheck()
457 duk_pop(cx); in setter_innerHTML()
861 if (duk_get_top(cx) != 1 || !duk_is_object(cx, 0)) in append0()
935 !duk_is_object(cx, 0) || !duk_is_object(cx, 1)) in native_insbf()
1387 if (duk_is_object(cx, 1) && duk_is_object(cx, 2)) in native_cssApply()
1411 cx = f->cx = duk_get_context(context0, -1); in createJavaContext_0()
[all …]
/dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/media/pci/cx18/
H A Dcx18-scb.c16 cx18_memset_io(cx, cx->scb, 0, 0x10000); in cx18_init_scb()
18 cx18_writel(cx, IRQ_APU_TO_CPU, &cx->scb->apu2cpu_irq); in cx18_init_scb()
19 cx18_writel(cx, IRQ_CPU_TO_APU_ACK, &cx->scb->cpu2apu_irq_ack); in cx18_init_scb()
20 cx18_writel(cx, IRQ_HPU_TO_CPU, &cx->scb->hpu2cpu_irq); in cx18_init_scb()
22 cx18_writel(cx, IRQ_PPU_TO_CPU, &cx->scb->ppu2cpu_irq); in cx18_init_scb()
24 cx18_writel(cx, IRQ_EPU_TO_CPU, &cx->scb->epu2cpu_irq); in cx18_init_scb()
27 cx18_writel(cx, IRQ_CPU_TO_APU, &cx->scb->cpu2apu_irq); in cx18_init_scb()
29 cx18_writel(cx, IRQ_HPU_TO_APU, &cx->scb->hpu2apu_irq); in cx18_init_scb()
31 cx18_writel(cx, IRQ_PPU_TO_APU, &cx->scb->ppu2apu_irq); in cx18_init_scb()
33 cx18_writel(cx, IRQ_EPU_TO_APU, &cx->scb->epu2apu_irq); in cx18_init_scb()
[all …]
H A Dcx18-av-audio.c80 cx18_av_write(cx, 0x127, 0x60); in set_audclk_freq()
115 cx18_av_write(cx, 0x127, 0x58); in set_audclk_freq()
150 cx18_av_write(cx, 0x127, 0x56); in set_audclk_freq()
191 cx18_av_write(cx, 0x127, 0x70); in set_audclk_freq()
303 cx18_av_write(cx, 0x8d3, 0x1f); in cx18_av_audio_set_path()
385 v = cx18_av_read(cx, 0x803); in set_mute()
435 set_volume(cx, ctrl->val); in cx18_av_audio_s_ctrl()
438 set_bass(cx, ctrl->val); in cx18_av_audio_s_ctrl()
441 set_treble(cx, ctrl->val); in cx18_av_audio_s_ctrl()
444 set_balance(cx, ctrl->val); in cx18_av_audio_s_ctrl()
[all …]
H A Dcx18-driver.c400 cx->card_name = cx->card->name; in cx18_process_eeprom()
401 cx->card_i2c = cx->card->i2c; in cx18_process_eeprom()
632 cx->std = cx18_parse_std(cx); in cx18_process_options()
682 cx->card_name = cx->card->name; in cx18_process_options()
683 cx->card_i2c = cx->card->i2c; in cx18_process_options()
702 cx->in_work_order[i].cx = cx; in cx18_init_in_work_orders()
883 cx->sd_extmux = cx18_find_hw(cx, cx->card->hw_muxer); in cx18_init_subdevs()
902 cx = kzalloc(sizeof(*cx), GFP_ATOMIC); in cx18_probe()
1038 cx->std = cx->card->tuners[0].std; in cx18_probe()
1093 cx->tuner_std = cx->std; in cx18_probe()
[all …]
/dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/media/pci/cx18/
H A Dcx18-scb.c16 cx18_memset_io(cx, cx->scb, 0, 0x10000); in cx18_init_scb()
18 cx18_writel(cx, IRQ_APU_TO_CPU, &cx->scb->apu2cpu_irq); in cx18_init_scb()
19 cx18_writel(cx, IRQ_CPU_TO_APU_ACK, &cx->scb->cpu2apu_irq_ack); in cx18_init_scb()
20 cx18_writel(cx, IRQ_HPU_TO_CPU, &cx->scb->hpu2cpu_irq); in cx18_init_scb()
22 cx18_writel(cx, IRQ_PPU_TO_CPU, &cx->scb->ppu2cpu_irq); in cx18_init_scb()
24 cx18_writel(cx, IRQ_EPU_TO_CPU, &cx->scb->epu2cpu_irq); in cx18_init_scb()
27 cx18_writel(cx, IRQ_CPU_TO_APU, &cx->scb->cpu2apu_irq); in cx18_init_scb()
29 cx18_writel(cx, IRQ_HPU_TO_APU, &cx->scb->hpu2apu_irq); in cx18_init_scb()
31 cx18_writel(cx, IRQ_PPU_TO_APU, &cx->scb->ppu2apu_irq); in cx18_init_scb()
33 cx18_writel(cx, IRQ_EPU_TO_APU, &cx->scb->epu2apu_irq); in cx18_init_scb()
[all …]
H A Dcx18-av-audio.c80 cx18_av_write(cx, 0x127, 0x60); in set_audclk_freq()
115 cx18_av_write(cx, 0x127, 0x58); in set_audclk_freq()
150 cx18_av_write(cx, 0x127, 0x56); in set_audclk_freq()
191 cx18_av_write(cx, 0x127, 0x70); in set_audclk_freq()
303 cx18_av_write(cx, 0x8d3, 0x1f); in cx18_av_audio_set_path()
385 v = cx18_av_read(cx, 0x803); in set_mute()
435 set_volume(cx, ctrl->val); in cx18_av_audio_s_ctrl()
438 set_bass(cx, ctrl->val); in cx18_av_audio_s_ctrl()
441 set_treble(cx, ctrl->val); in cx18_av_audio_s_ctrl()
444 set_balance(cx, ctrl->val); in cx18_av_audio_s_ctrl()
[all …]
/dports/multimedia/libv4l/linux-5.13-rc2/drivers/media/pci/cx18/
H A Dcx18-scb.c16 cx18_memset_io(cx, cx->scb, 0, 0x10000); in cx18_init_scb()
18 cx18_writel(cx, IRQ_APU_TO_CPU, &cx->scb->apu2cpu_irq); in cx18_init_scb()
19 cx18_writel(cx, IRQ_CPU_TO_APU_ACK, &cx->scb->cpu2apu_irq_ack); in cx18_init_scb()
20 cx18_writel(cx, IRQ_HPU_TO_CPU, &cx->scb->hpu2cpu_irq); in cx18_init_scb()
22 cx18_writel(cx, IRQ_PPU_TO_CPU, &cx->scb->ppu2cpu_irq); in cx18_init_scb()
24 cx18_writel(cx, IRQ_EPU_TO_CPU, &cx->scb->epu2cpu_irq); in cx18_init_scb()
27 cx18_writel(cx, IRQ_CPU_TO_APU, &cx->scb->cpu2apu_irq); in cx18_init_scb()
29 cx18_writel(cx, IRQ_HPU_TO_APU, &cx->scb->hpu2apu_irq); in cx18_init_scb()
31 cx18_writel(cx, IRQ_PPU_TO_APU, &cx->scb->ppu2apu_irq); in cx18_init_scb()
33 cx18_writel(cx, IRQ_EPU_TO_APU, &cx->scb->epu2apu_irq); in cx18_init_scb()
[all …]
H A Dcx18-av-audio.c80 cx18_av_write(cx, 0x127, 0x60); in set_audclk_freq()
115 cx18_av_write(cx, 0x127, 0x58); in set_audclk_freq()
150 cx18_av_write(cx, 0x127, 0x56); in set_audclk_freq()
191 cx18_av_write(cx, 0x127, 0x70); in set_audclk_freq()
303 cx18_av_write(cx, 0x8d3, 0x1f); in cx18_av_audio_set_path()
385 v = cx18_av_read(cx, 0x803); in set_mute()
435 set_volume(cx, ctrl->val); in cx18_av_audio_s_ctrl()
438 set_bass(cx, ctrl->val); in cx18_av_audio_s_ctrl()
441 set_treble(cx, ctrl->val); in cx18_av_audio_s_ctrl()
444 set_balance(cx, ctrl->val); in cx18_av_audio_s_ctrl()
[all …]
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/minizip/src/lib/brg/
H A Dhmac.c124 cx->f_hash(cx->key, cx->klen, cx->sha_ctx); in hmac_sha_key()
130 memcpy(cx->key + cx->klen, key, key_len); in hmac_sha_key()
145 cx->f_end(cx->key, cx->sha_ctx); /* store the result as the */ in hmac_sha_data()
150 memset(cx->key + cx->klen, 0, cx->input_len - cx->klen); in hmac_sha_data()
157 cx->f_begin(cx->sha_ctx); in hmac_sha_data()
158 cx->f_hash(cx->key, cx->input_len, cx->sha_ctx); in hmac_sha_data()
166 cx->f_hash(data, data_len, cx->sha_ctx); in hmac_sha_data()
185 cx->f_begin(cx->sha_ctx); in hmac_sha_end()
186 cx->f_hash(cx->key, cx->input_len, cx->sha_ctx); in hmac_sha_end()
187 cx->f_hash(dig, cx->output_len, cx->sha_ctx); in hmac_sha_end()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/minizip/src/lib/brg/
H A Dhmac.c124 cx->f_hash(cx->key, cx->klen, cx->sha_ctx); in hmac_sha_key()
130 memcpy(cx->key + cx->klen, key, key_len); in hmac_sha_key()
145 cx->f_end(cx->key, cx->sha_ctx); /* store the result as the */ in hmac_sha_data()
150 memset(cx->key + cx->klen, 0, cx->input_len - cx->klen); in hmac_sha_data()
157 cx->f_begin(cx->sha_ctx); in hmac_sha_data()
158 cx->f_hash(cx->key, cx->input_len, cx->sha_ctx); in hmac_sha_data()
166 cx->f_hash(data, data_len, cx->sha_ctx); in hmac_sha_data()
185 cx->f_begin(cx->sha_ctx); in hmac_sha_end()
186 cx->f_hash(cx->key, cx->input_len, cx->sha_ctx); in hmac_sha_end()
187 cx->f_hash(dig, cx->output_len, cx->sha_ctx); in hmac_sha_end()
[all …]
/dports/math/yices/yices-2.6.2/tests/regress/mantis/
H A D0034.a.ys1 (define |state.cx!0!0| :: real)
2 (define |state.cx!0!1| :: real)
3 (define |state.cx!0!2| :: real)
4 (define |state.cx!0!3| :: real)
5 (define |state.cx!1!0| :: real)
6 (define |state.cx!1!1| :: real)
114 …cx!0!1| |state.cx!0!2|) (= |state.cx!0!2| |state.cx!0!3|) (not (>= (+ (* 1 |state.val|) (* (- 1) |…
116 …cx!0!1| |state.cx!0!2|) (= |state.cx!0!2| |state.cx!0!3|) (not (>= (+ (* 1 |state.val|) (* (- 1) |…
123 …cx!0!1| |state.cx!0!2|) (= |state.cx!0!2| |state.cx!0!3|) (not (>= (+ (* 1 |state.val|) (* (- 1) |…
130 …cx!0!1| |state.cx!0!2|) (= |state.cx!0!2| |state.cx!0!3|) (not (>= (+ (* 1 |state.val|) (* (- 1) |…
[all …]

12345678910>>...443