SGX_PAGE_SIZE
sc->npages = sc->epc_size / SGX_PAGE_SIZE;
sc->epc_pages[i].base = epc_base_vaddr + SGX_PAGE_SIZE * i;
sc->epc_pages[i].phys = sc->epc_base + SGX_PAGE_SIZE * i;