cfHeapsTheory cfTheory cfTacticsBaseLib cfTacticsLib evaluatePropsTheory evaluateTheory evaluatePropsTheory evaluateTheory evaluate_decTheory val _ = new_theory "cfMain"; Expand All @@ -30,27 +30,27 @@ Theorem call_main_thm1: Decls env1 st1 (SNOC ^main_call prog) env2 st3 /\ (?h3 h4...
1603 1608 if (heaps_[heap_index] != nullptr) { 1604 1609 return true; 1605 1610 } 1606 - auto device = 1607 - command_processor_.GetD3D12Context().GetD3D12Provider().GetDevice(); 1611 + auto& provider = command_processor_.GetD3D12Context().GetD3D12Provider(); 1612 + auto...
robustness2Props->robustStorageBufferAccessSizeAlignment = 1; robustness2Props->robustUniformBufferAccessSizeAlignment = 1; case VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_VERTEX_ATTRIBUTE_DIVISOR_PROPERTIES_EXT: { auto* divisorProps = (VkPhysicalDeviceVertexAttributeDivisorPropertiesEXT*)next; divisorProps->maxVerte...
if (!heaps) return PTR_ERR(heaps); return -ENOMEM; /* Allocate a dummy carveout heap */ @@ -128,6 +130,7 @@ static int __init ion_dummy_init(void) } return err; } device_initcall(ion_dummy_init); static void __exit ion_dummy_exit(void) { @@ -152,7 +155,4 @@ static...
Allocations for new thread local heaps (TLH) objects are not considered to be large objects. You can use the following `-X` options to control the LOA allocation: - [`-Xloa` / `-Xnoloa`](#-xloa-xnoloa) - [`-Xloainitial`](#-xloainitial) - [`-Xloaminimum`](#-xloaminimum)...
CONFIG_QCOM_DMABUF_HEAPS=m # CONFIG_QCOM_DMABUF_HEAPS_CARVEOUT is not set CONFIG_QCOM_DMABUF_HEAPS_CMA=y CONFIG_QCOM_DMABUF_HEAPS_PAGE_POOL_REFILL=y CONFIG_QCOM_DMABUF_HEAPS_SYSTEM=y CONFIG_QCOM_FORCE_WDOG_BITE_ON_PANIC=y CONFIG_QCOM_MEM_BUF=m CONFIG_QCOM_MEM_BUF_DEV=m ...
{# Not strictly valid HTML, but it's the only way to display/scale it properly, without weird scripting or heaps of work #} {% endif %} {% if theme_display_version %} {%- set nav_version = version %} {% if READTHEDOCS and current_version %} {%- set nav_version = current...
Solutions By company size Enterprises Small and medium teams Startups By use case DevSecOps DevOps CI/CD View all use cases By industry Healthcare Financial services Manufacturing Government View all industries View all solutions Resources Topics AI DevOps Security Software Development...
GGML_ASSERT(size >= 0 && size < INT_MAX); // NOLINT std::vector<char> buf(size + 1); int size2 = vsnprintf(buf.data(), size + 1, fmt, ap2); GGML_ASSERT(size2 == size); va_end(ap2); va_end(ap); return std::string(buf.data(), size); } std::vector<std::string...
Available add-ons Advanced Security Enterprise-grade security features GitHub Copilot Enterprise-grade AI features Premium Support Enterprise-grade 24/7 support Pricing Search or jump to... Search code, repositories, users, issues, pull requests... Provide feedback We read every piece of ...