Searched refs:epc_base_vaddr (Results 1 – 1 of 1) sorted by relevance
1061 vm_offset_t epc_base_vaddr; in sgx_get_epc_area() local1085 epc_base_vaddr = (vm_offset_t)pmap_mapdev_attr(sc->epc_base, in sgx_get_epc_area()1092 sc->epc_pages[i].base = epc_base_vaddr + SGX_PAGE_SIZE * i; in sgx_get_epc_area()