Searched refs:epc_size (Results 1 – 2 of 2) sorted by relevance
1746 uint64_t epc_size = pcms->sgx_epc.size; in build_dsdt() local1757 epc_base + epc_size - 1, 0, epc_size)); in build_dsdt()
6814 uint64_t epc_addr, epc_size; in cpu_x86_cpuid() local6816 if (sgx_epc_get_section(count - 2, &epc_addr, &epc_size)) { in cpu_x86_cpuid()6823 *ecx = (uint32_t)(epc_size & 0xfffff000) | (*ecx & 0xf); in cpu_x86_cpuid()6824 *edx = (uint32_t)(epc_size >> 32); in cpu_x86_cpuid()