Searched defs:epc_size (Results 1 – 2 of 2) sorted by relevance
1806 uint64_t epc_size = pcms->sgx_epc.size; in build_dsdt() local
6729 uint64_t epc_addr, epc_size; in cpu_x86_cpuid() local