cpu_epc_t3
The return value of cpuid_get_epc().
Usage
#include <libcpuid.h>
Data Fields
uint64_t start_addr
uint64_t length
Detailed Description
The return value of cpuid_get_epc().
Describes an EPC (Enclave Page Cache) layout (physical address and size). A CPU may have one or more EPC areas, and information about each is fetched via cpuid_get_epc.