Home
last modified time | relevance | path

Searched refs:epc_size (Results 1 – 2 of 2) sorted by relevance

/openbmc/qemu/hw/i386/
H A Dacpi-build.c1746 uint64_t epc_size = pcms->sgx_epc.size; in build_dsdt() local
1757 epc_base + epc_size - 1, 0, epc_size)); in build_dsdt()
/openbmc/qemu/target/i386/
H A Dcpu.c6814 uint64_t epc_addr, epc_size; in cpu_x86_cpuid() local
6816 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()