Searched refs:epc_size (Results 1 – 2 of 2) sorted by relevance
1806 uint64_t epc_size = pcms->sgx_epc.size; in build_dsdt() local1817 epc_base + epc_size - 1, 0, epc_size)); in build_dsdt()
6510 uint64_t epc_addr, epc_size; in cpu_x86_cpuid() local6512 if (sgx_epc_get_section(count - 2, &epc_addr, &epc_size)) { in cpu_x86_cpuid()6519 *ecx = (uint32_t)(epc_size & 0xfffff000) | (*ecx & 0xf); in cpu_x86_cpuid()6520 *edx = (uint32_t)(epc_size >> 32); in cpu_x86_cpuid()