Searched refs:epc_size (Results 1 – 2 of 2) sorted by relevance
1075 sc->epc_size = ((uint64_t)(cp[3] & 0xfffff) << 32) + in sgx_get_epc_area()1077 sc->npages = sc->epc_size / SGX_PAGE_SIZE; in sgx_get_epc_area()1079 if (sc->epc_size == 0 || sc->epc_base == 0) { in sgx_get_epc_area()1081 __func__, sc->epc_base, sc->epc_size); in sgx_get_epc_area()1091 sc->epc_size, VM_MEMATTR_DEFAULT); in sgx_get_epc_area()1102 sc->vmem_epc = vmem_create("SGX EPC", sc->epc_base, sc->epc_size, in sgx_get_epc_area()1111 sc->epc_base + sc->epc_size, VM_MEMATTR_DEFAULT); in sgx_get_epc_area()1126 sc->epc_base + sc->epc_size); in sgx_put_epc_area()1160 sc->epc_base, sc->epc_size, sc->npages); in sgx_load()
80 uint64_t epc_size; member