/dports/math/z3/z3-z3-4.8.13/src/tactic/arith/ |
H A D | recover_01_tactic.cpp | 138 generic_model_converter * gmc; member 226 gmc->hide(var); in mk_ivar() 227 gmc->add(to_app(atom)->get_decl(), bool_def); in mk_ivar() 306 gmc->add(x, x_def); in process() 338 gmc = alloc(generic_model_converter, m, "recover_01"); in operator ()() 339 new_goal->add(gmc); in operator ()()
|
H A D | lia2pb_tactic.cpp | 218 ref<generic_model_converter> gmc; in operator ()() local 220 gmc = alloc(generic_model_converter, m, "lia2pb"); in operator ()() 247 gmc->hide(x_prime->get_decl()); in operator ()() 261 gmc->add(x, def); in operator ()() 287 g->add(gmc.get()); in operator ()()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/arith/ |
H A D | lia2pb_tactic.cpp | 218 ref<generic_model_converter> gmc; 220 gmc = alloc(generic_model_converter, m, "lia2pb"); 247 gmc->hide(x_prime->get_decl()); 261 gmc->add(x, def); 287 g->add(gmc.get());
|
H A D | recover_01_tactic.cpp | 114 generic_model_converter * gmc; member 206 gmc->hide(var); in mk_ivar() 207 gmc->add(to_app(atom)->get_decl(), bool_def); in mk_ivar() 289 gmc->add(x, x_def); in process() 327 gmc = alloc(generic_model_converter, m, "recover_01"); in operator ()() 328 new_goal->add(gmc); in operator ()()
|
/dports/devel/anjuta/anjuta-3.34.0/libanjuta/ |
H A D | Makefile.am | 239 --prefix=anjuta_cclosure_marshal $(srcdir)/anjuta-marshal.list --body >> xgenc-gmc \ 240 && cp xgenc-gmc $(@F) \ 241 && rm -f xgenc-gmc
|
/dports/multimedia/avidemux-cli/avidemux_2.7.6/avidemux/qt4/ADM_userInterfaces/ADM_dialog/ |
H A D | DIA_xvid4.cpp | 64 diaElemToggle gmc(PX(gmc),QT_TRANSLATE_NOOP("adm","GMC")); in DIA_xvid4() local 69 frameASP.swallow(&gmc); in DIA_xvid4()
|
/dports/multimedia/avidemux/avidemux_2.7.6/avidemux/qt4/ADM_userInterfaces/ADM_dialog/ |
H A D | DIA_xvid4.cpp | 64 diaElemToggle gmc(PX(gmc),QT_TRANSLATE_NOOP("adm","GMC")); in DIA_xvid4() local 69 frameASP.swallow(&gmc); in DIA_xvid4()
|
/dports/multimedia/avidemux-qt5/avidemux_2.7.6/avidemux/qt4/ADM_userInterfaces/ADM_dialog/ |
H A D | DIA_xvid4.cpp | 64 diaElemToggle gmc(PX(gmc),QT_TRANSLATE_NOOP("adm","GMC")); in DIA_xvid4() local 69 frameASP.swallow(&gmc); in DIA_xvid4()
|
/dports/multimedia/avidemux-plugins/avidemux_2.7.6/avidemux/qt4/ADM_userInterfaces/ADM_dialog/ |
H A D | DIA_xvid4.cpp | 64 diaElemToggle gmc(PX(gmc),QT_TRANSLATE_NOOP("adm","GMC")); in DIA_xvid4() local 69 frameASP.swallow(&gmc); in DIA_xvid4()
|
/dports/math/lapack++/lapackpp-2.5.4/ |
H A D | ChangeLog | 293 * include/gmd.h, gmc.h, gmi.h, gmf.h, gmli.h: Add row() and 307 * include/gmd.h, gmc.h, gmi.h, gmf.h, gmli.h, 347 * include/gmd.h, gmc.h, gmi.h, gmf.h, gmli.h: Add missing 377 * include/gmd.h, gmc.h, gmi.h, gmf.h, gmli.h, 433 * include/gmc.h, matrix/src/mtmpl.h, gmc.cc etc: All LaGenMatXY 451 * matrix/src/gmc.cc, gmd.cc, gmf.cc, gmi.cc, gmli.cc: Make 473 * matrix/src/gmc.cc, gmd.cc: Fixed optimized inject() and 493 * matrix/src/gmd.cc, gmc.cc (inject): Use optimized inject() 772 * include/gmd.h, gmc.h, gmf.h, gmi.h, gmli.h: Improve 778 * include/{gmc.h gmf.h gmi.h gmli.h} [all …]
|
/dports/x11-toolkits/gdl/gdl-3.34.0/gdl/ |
H A D | Makefile.in | 1025 --prefix=gdl_marshal $(srcdir)/libgdlmarshal.list --header > xgen-gmc \ 1026 && cp xgen-gmc $(@F) \ 1027 && rm -f xgen-gmc 1030 echo "#include \"libgdlmarshal.h\"" > xgen-gmc \ 1032 --prefix=gdl_marshal $(srcdir)/libgdlmarshal.list --body >> xgen-gmc \ 1033 && cp xgen-gmc $(@F) \ 1034 && rm -f xgen-gmc
|
/dports/multimedia/libv4l/linux-5.13-rc2/drivers/gpu/drm/amd/amdgpu/ |
H A D | hdp_v4_0.c | 129 WREG32_SOC15(HDP, 0, mmHDP_NONSURFACE_BASE, (adev->gmc.vram_start >> 8)); in hdp_v4_0_init_registers() 130 WREG32_SOC15(HDP, 0, mmHDP_NONSURFACE_BASE_HI, (adev->gmc.vram_start >> 40)); in hdp_v4_0_init_registers()
|
H A D | mmhub_v9_4.c | 51 adev->gmc.fb_start = base; in mmhub_v9_4_get_fb_location() 52 adev->gmc.fb_end = top; in mmhub_v9_4_get_fb_location() 84 (u32)(adev->gmc.gart_start >> 12)); in mmhub_v9_4_init_gart_aperture_regs() 93 (u32)(adev->gmc.gart_end >> 12)); in mmhub_v9_4_init_gart_aperture_regs() 97 (u32)(adev->gmc.gart_end >> 44)); in mmhub_v9_4_init_gart_aperture_regs() 122 adev->gmc.agp_end >> 24); in mmhub_v9_4_init_system_aperture_regs() 125 adev->gmc.agp_start >> 24); in mmhub_v9_4_init_system_aperture_regs() 132 min(adev->gmc.fb_start, adev->gmc.agp_start) >> 18); in mmhub_v9_4_init_system_aperture_regs() 136 max(adev->gmc.fb_end, adev->gmc.agp_end) >> 18); in mmhub_v9_4_init_system_aperture_regs() 236 if (adev->gmc.translate_further) { in mmhub_v9_4_init_cache_regs() [all …]
|
H A D | amdgpu_device.c | 1121 if (adev->gmc.real_vram_size && in amdgpu_device_resize_fb_bar() 1216 if (adev->gmc.xgmi.pending_reset) in amdgpu_device_need_post() 2312 if (!adev->gmc.xgmi.pending_reset) in amdgpu_device_ip_init() 2774 if (adev->gmc.xgmi.pending_reset && in amdgpu_device_ip_suspend_phase2() 3283 adev->gmc.gart_size = 512 * 1024 * 1024; in amdgpu_device_init() 3290 adev->gmc.gmc_funcs = NULL; in amdgpu_device_init() 3441 if (adev->gmc.xgmi.num_physical_nodes) { in amdgpu_device_init() 3443 adev->gmc.xgmi.pending_reset = true; in amdgpu_device_init() 3593 if (!adev->gmc.xgmi.pending_reset) { in amdgpu_device_init() 3635 if (adev->gmc.xgmi.pending_reset) in amdgpu_device_init() [all …]
|
/dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/gpu/drm/amd/amdgpu/ |
H A D | hdp_v4_0.c | 129 WREG32_SOC15(HDP, 0, mmHDP_NONSURFACE_BASE, (adev->gmc.vram_start >> 8)); in hdp_v4_0_init_registers() 130 WREG32_SOC15(HDP, 0, mmHDP_NONSURFACE_BASE_HI, (adev->gmc.vram_start >> 40)); in hdp_v4_0_init_registers()
|
H A D | mmhub_v9_4.c | 51 adev->gmc.fb_start = base; in mmhub_v9_4_get_fb_location() 52 adev->gmc.fb_end = top; in mmhub_v9_4_get_fb_location() 84 (u32)(adev->gmc.gart_start >> 12)); in mmhub_v9_4_init_gart_aperture_regs() 93 (u32)(adev->gmc.gart_end >> 12)); in mmhub_v9_4_init_gart_aperture_regs() 97 (u32)(adev->gmc.gart_end >> 44)); in mmhub_v9_4_init_gart_aperture_regs() 122 adev->gmc.agp_end >> 24); in mmhub_v9_4_init_system_aperture_regs() 125 adev->gmc.agp_start >> 24); in mmhub_v9_4_init_system_aperture_regs() 132 min(adev->gmc.fb_start, adev->gmc.agp_start) >> 18); in mmhub_v9_4_init_system_aperture_regs() 136 max(adev->gmc.fb_end, adev->gmc.agp_end) >> 18); in mmhub_v9_4_init_system_aperture_regs() 236 if (adev->gmc.translate_further) { in mmhub_v9_4_init_cache_regs() [all …]
|
H A D | amdgpu_device.c | 1121 if (adev->gmc.real_vram_size && in amdgpu_device_resize_fb_bar() 1216 if (adev->gmc.xgmi.pending_reset) in amdgpu_device_need_post() 2312 if (!adev->gmc.xgmi.pending_reset) in amdgpu_device_ip_init() 2774 if (adev->gmc.xgmi.pending_reset && in amdgpu_device_ip_suspend_phase2() 3283 adev->gmc.gart_size = 512 * 1024 * 1024; in amdgpu_device_init() 3290 adev->gmc.gmc_funcs = NULL; in amdgpu_device_init() 3441 if (adev->gmc.xgmi.num_physical_nodes) { in amdgpu_device_init() 3443 adev->gmc.xgmi.pending_reset = true; in amdgpu_device_init() 3593 if (!adev->gmc.xgmi.pending_reset) { in amdgpu_device_init() 3635 if (adev->gmc.xgmi.pending_reset) in amdgpu_device_init() [all …]
|
/dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/gpu/drm/amd/amdgpu/ |
H A D | hdp_v4_0.c | 129 WREG32_SOC15(HDP, 0, mmHDP_NONSURFACE_BASE, (adev->gmc.vram_start >> 8)); in hdp_v4_0_init_registers() 130 WREG32_SOC15(HDP, 0, mmHDP_NONSURFACE_BASE_HI, (adev->gmc.vram_start >> 40)); in hdp_v4_0_init_registers()
|
H A D | mmhub_v9_4.c | 51 adev->gmc.fb_start = base; in mmhub_v9_4_get_fb_location() 52 adev->gmc.fb_end = top; in mmhub_v9_4_get_fb_location() 84 (u32)(adev->gmc.gart_start >> 12)); in mmhub_v9_4_init_gart_aperture_regs() 93 (u32)(adev->gmc.gart_end >> 12)); in mmhub_v9_4_init_gart_aperture_regs() 97 (u32)(adev->gmc.gart_end >> 44)); in mmhub_v9_4_init_gart_aperture_regs() 122 adev->gmc.agp_end >> 24); in mmhub_v9_4_init_system_aperture_regs() 125 adev->gmc.agp_start >> 24); in mmhub_v9_4_init_system_aperture_regs() 132 min(adev->gmc.fb_start, adev->gmc.agp_start) >> 18); in mmhub_v9_4_init_system_aperture_regs() 136 max(adev->gmc.fb_end, adev->gmc.agp_end) >> 18); in mmhub_v9_4_init_system_aperture_regs() 236 if (adev->gmc.translate_further) { in mmhub_v9_4_init_cache_regs() [all …]
|
H A D | amdgpu_device.c | 1121 if (adev->gmc.real_vram_size && in amdgpu_device_resize_fb_bar() 1216 if (adev->gmc.xgmi.pending_reset) in amdgpu_device_need_post() 2312 if (!adev->gmc.xgmi.pending_reset) in amdgpu_device_ip_init() 2774 if (adev->gmc.xgmi.pending_reset && in amdgpu_device_ip_suspend_phase2() 3283 adev->gmc.gart_size = 512 * 1024 * 1024; in amdgpu_device_init() 3290 adev->gmc.gmc_funcs = NULL; in amdgpu_device_init() 3441 if (adev->gmc.xgmi.num_physical_nodes) { in amdgpu_device_init() 3443 adev->gmc.xgmi.pending_reset = true; in amdgpu_device_init() 3593 if (!adev->gmc.xgmi.pending_reset) { in amdgpu_device_init() 3635 if (adev->gmc.xgmi.pending_reset) in amdgpu_device_init() [all …]
|
/dports/sysutils/xvidcap/xvidcap-1.1.7/ffmpeg/libavformat/ |
H A D | siff.c | 58 uint8_t gmc[4]; member 196 get_buffer(s->pb, c->gmc, c->gmcsize); in siff_read_packet() 207 memcpy(pkt->data + 2, c->gmc, c->gmcsize); in siff_read_packet()
|
/dports/x11-toolkits/gtk20/gtk+-2.24.33/gtk/ |
H A D | Makefile.am | 876 echo "#include \"gtkaliasdef.c\"") >> xgen-gmc \ 877 && cp xgen-gmc gtkmarshal.c \ 878 && rm -f xgen-gmc
|
/dports/multimedia/avidemux/avidemux_2.7.6/avidemux/gtk/ADM_userInterfaces/ADM_dialog/ |
H A D | DIA_properties.cpp | 21 uint8_t gmc, qpel,vop; in DIA_properties() local 67 SET_YES(labelGMC,gmc); in DIA_properties()
|
/dports/multimedia/avidemux-qt5/avidemux_2.7.6/avidemux/gtk/ADM_userInterfaces/ADM_dialog/ |
H A D | DIA_properties.cpp | 21 uint8_t gmc, qpel,vop; in DIA_properties() local 67 SET_YES(labelGMC,gmc); in DIA_properties()
|
/dports/multimedia/avidemux-cli/avidemux_2.7.6/avidemux/gtk/ADM_userInterfaces/ADM_dialog/ |
H A D | DIA_properties.cpp | 21 uint8_t gmc, qpel,vop; in DIA_properties() local 67 SET_YES(labelGMC,gmc); in DIA_properties()
|