Searched refs:epc_size (Results 1 – 2 of 2) sorted by path
1070 sc->epc_size = ((uint64_t)(cp[3] & 0xfffff) << 32) + in sgx_get_epc_area()1072 sc->npages = sc->epc_size / SGX_PAGE_SIZE; in sgx_get_epc_area()1074 if (sc->epc_size == 0 || sc->epc_base == 0) { in sgx_get_epc_area()1076 __func__, sc->epc_base, sc->epc_size); in sgx_get_epc_area()1086 sc->epc_size, VM_MEMATTR_DEFAULT); in sgx_get_epc_area()1097 sc->vmem_epc = vmem_create("SGX EPC", sc->epc_base, sc->epc_size, in sgx_get_epc_area()1106 sc->epc_base + sc->epc_size, VM_MEMATTR_DEFAULT); in sgx_get_epc_area()1121 sc->epc_base + sc->epc_size); in sgx_put_epc_area()1155 sc->epc_base, sc->epc_size, sc->npages); in sgx_load()
78 uint64_t epc_size; member