Home
last modified time | relevance | path

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

/f-stack/freebsd/amd64/sgx/
H A Dsgx.c1075 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()
H A Dsgxvar.h80 uint64_t epc_size; member