amd64/sgx/sgx.c

94  *       pidx = OFF_TO_IDX(addp->addr - vmh->base);
235 	vm_pindex_t pidx;
246 	pidx = OFF_TO_IDX(addr);
248 	va_slot = pidx % SGX_VA_PAGE_SLOTS;
249 	va_page_idx = pidx / SGX_VA_PAGE_SLOTS;
362 	dprintf("%s: p->pidx %ld\n", __func__, p->pindex);
609     vm_pindex_t pidx)
615 	vm_page_insert(page, object, pidx);
622 	vm_pindex_t pidx;
627 	pidx = OFF_TO_IDX(addr);
630 	sgx_insert_epc_page_by_index(page, enclave->object, pidx);
791 	uint64_t pidx;
849 	pidx = OFF_TO_IDX(addr);
852 	p = vm_page_lookup(object, pidx);